Le 22/2/16 09:50, Nicolai Hess a écrit :
2016-02-21 19:19 GMT+01:00 stepharo <[email protected]
<mailto:[email protected]>>:
Here this is terribly confusing because we could think that the
execution will go inside
the true block but no in reality it is jumping right after.
So we must remove this selection of matching terms.
This was always like that, but with rubric, the "second selection"
highlight is much more visible.
In older non-rubric text handling, the second selection was just a
pale light color, without border.
Maybe we should remove the border for rubrics "second selection" text
highlight.
Yes!
Stef
Le 21/2/16 19:04, stepharo a écrit :
Hi guy
we should disable the double selection when we click on a
stack element
because we get selection in frame and in fill and this is
confusing because the PC is represented by the filled
one.
Stef
