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.
|Submitted||chuckbing - 2003-08-21 - 05:33:45z||Assigned||bemace|