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

open
Brad Mace
None
5
2003-12-17
2003-08-21
Chuck Bing
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
    Brad Mace
    2003-12-17

    • assigned_to: nobody --> bemace