PreviousNextTracker indexSee it online !

(69/231) 2530983 - Strange block selection

Have a look at the screen shot. I tried to create a rectangular block. It doesn't depend on the font size. And the editor paints these strange blue line at the left side of the text field. Is that some kind of an editor mode? It looks like it marks a range of lines.

using 4.3pre16

Submitted hbuerger - 2009-01-23 - 12:30:14z Assigned nobody
Priority 5 Category text area and syntax packages
Status Open Group None
Resolution None Visibility No

Comments

2009-01-23 - 14:07:35z
shlomy
It looks very strange indeed, but I can see the "4 error(s)" message in red at the bottom right (status bar), which means there were exceptions. Can you attach your activity.log file (from the jedit settings directory) to the item? It should contain the exceptions.
2009-02-06 - 15:28:17z
shlomy
I need your input (activity.log) when you have this problem. It is most likely caused by one of the errors specified in the bottom right corner (in the status bar).
The "strange blue line" to the left of the text field is the structure highlighter, it is meant to show you the beginning and end of a block. A block is normally text enclosed within a matching pair of parentheses/braces. From the picture, the structure highlighter is clearly out of sync with the text, which implies that the entire problem resulted from some exception.
2009-02-06 - 15:43:40z
hbuerger
File Added: activity.log
2009-02-06 - 17:01:25z
shlomy
The activity.log shows that the Docker plugin is installed. Some changes that I've made in the docking framework of jedit in 4.3pre16 broke the Docker plugin, so it could not work with this version.
Although I cannot believe this causes the painting problem and the structure highlighting problem, can you unload (or uninstall) the Docker plugin and see if it works fine without it?
The activity.log file does not show any problems except this one (Docker). Just to make sure:
1. Did you reproduce the problem just before attaching the activity.log? The activity.log file is overwritten each time jEdit is started, so it won't include the relevant exceptions unless you attached it in the same jEdit session where you reproduced the problem.
2. The text written to the activity.log file is normally cached in the operating system's memory. To ensure that the activity.log file contains the relevant exceptions, you should use the menu "Utilities -> Troubleshooting -> Update Activity Log on Disk" after reproducing the problem, and then attach the activity.log.

If you've done both 1 & 2 before attaching the file, no need to do it again, but please let me know.
2009-03-21 - 09:09:27z
shlomy
Was this a single-time problem? Or is this reproducible (even if not all the time)?
I checked the attached activity.log again, and I can see that's not the one produced at the time of the problem. For example, the buffer showing the problem doesn't at all appear in the activity.log, so either this activity.log is from another jEdit session, or it was not updated on disk when the problem happened.
2009-03-23 - 08:23:46z
hbuerger
File Added: activity.log
2009-03-23 - 08:27:02z
hbuerger
File Added: NewScreenShot.jpg
2009-03-23 - 09:01:18z
shlomy
To rule out the option that the problem is caused by the incompatibility of the Docker plugin with the version of jEdit you're using, can you remove (deactivate or uninstall) the Docker plugin, and see if you can reproduce it? There's an exception being thrown by the Docker during an Edit Bus message, there is a possibility that this causes the strange problem you're seeing.

Does this strange block selection occur immediately after jEdit is started? The activity.log attached only shows jEdit starting (and all the startup-related activity).
2009-08-04 - 07:20:28z
hbuerger
I tried 4.3pre17 and still have the same issue. I changed the font but no difference.
I'm used to change the font size with decrease font size and increase font size. I added an edit shortcut ^+ and ^-. If I select a rectangular section I can find one size without this bug, all other sizes have this bug. I think that is part of the problem. Changing the font size doesn't change the selection right.
2009-08-29 - 16:52:39z
kpouer
Hi, do you use a monospaced font ?
If not, could you retry with Monospaced font ?
2009-08-29 - 17:11:41z
shlomy
I reproduced it easily with monospace font. You can reproduce it yourself - use monospace font and play a little with the macro to increase / decrease font size. Only one or two font sizes are okay; all the other cause the "wrap guide" shown at the right of the text to be in the middle of some characters (where it should normally represent the middle between the 80th char and the next char).
2009-08-29 - 17:12:17z
shlomy
I guess monospace is only fixed-width as long as you use one specific font size.
2009-08-29 - 17:45:50z
rschwenn
I asked my crystal ball and it said: Goto Global Options -> Text Area and disable "fractional font metrics" ;-)
2009-08-29 - 17:52:10z
shlomy
I guess this is the issue above; the font becoming non-fixed-width due to this fractional font property I was not aware of.

Attachments

2009-01-23 - 12:30:15z
hbuerger
ScreenShot.jpg

2009-02-06 - 15:43:40z
hbuerger
activity.log

2009-03-23 - 08:23:46z
hbuerger
activity.log

new activity.log

2009-03-23 - 08:27:02z
hbuerger
NewScreenShot.jpg