I just opened one small .rkt file with two procedure definitions in it, and then executed exactly the following steps:
-
I marked with a mouse one of definitions, and then clicked on "Comment out with a box".
-
Then I tried gray shading of the other definition, and it works normally.
-
Then I clicked with the mouse at the beginning of box comment, and it shaded gray the definition inside the box.
-
Then I clicked on "Uncomment" menu, and it removed the box.
-
Immediately after, the gray shading disappears, but this is a surprise to me now, after a few seconds it starts working again. I noticed this now without taking any action (I was writing this text here).
Okay, this is new, did not notice this before, so I tried with a much larger rkt file (200k), and the same thing happened again. But I noticed another (similar strange behavior). As soon as you uncomment, it will not gray highlight the parentheses, and as long as you are trying, and clicking all around the file, to see what's going on, it will not highlight expressions. However, if you just let it be, the highlighting will come back! ???
Hmm, now it's getting more complicated. It looks like the highlighting gets restored after you shift focus to another window. As long as focus remains in racket window, it will not work, but as soon the focus is shifted to something else, like this email, the highlighting returns. This, I did not notice before. I was just clicking inside racket window, and this will not help.
Yes, tested now thoroughly. I shifted my mouse policy back to "click" (which I had when I first noticed this, but did not report it then). Later I changed the policy to sloppy, and this is how tests were done in the upper part of this mail. But now with click policy, gray highlighting will not come back unless I click on another window outside of the racket window. Then the highlighting returns right away.
Also, I did not notice this before. To lose highlighting is even easier than I described above. It is enough to comment a definition out with a box, and then click inside the box. You get the highlighting there, but it is lost outside the box right away. Click on another window restores it. And you can repeat this as many times as you want, with the same box comment.
A bit more about the computer this is reported from. It is Intel I5(10gen), and I'm running Linux Mint with Cinnamon. In my post I said that it is Gnome, but I checked later. It is forked from Gnome3, but it is not using Wayland. So all of this maybe does not happen on Ubuntu or Fedora, which are running gnome with Wayland.
Uhhh... This turned out to be too long, sorry for that.