jEdit won't close after docking the Hex Edit plugin

jEdit is a programmer's text editor written in Java.

Brought to you by: daleanson, ezust, grepppo, k_satoda, and 5 others

#165 jEdit won't close after docking the Hex Edit plugin

Status: open

Owner: Brad Mace

Labels: None

Priority: 5

Updated: 2003-12-17

Created: 2003-08-21

Creator: Chuck Bing

Private: No

Open the Hex Edit plugin, and without opening a file in
the plugin, dock the plugin window. Then click jEdit's
close "X" in the upper left corner. The docked plugin
disappears and jEdit no longer responds to the close
request. There are a number of other unexpected results
when conditions are varied and docking is attempted.

Discussion

Brad Mace - 2003-12-17

assigned_to: nobody --> bemace
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

jEdit won't close after docking the Hex Edit plugin

jEdit is a programmer's text editor written in Java.

Group

Searches

Help

#165 jEdit won't close after docking the Hex Edit plugin

Discussion