|
From: SourceForge.net <no...@so...> - 2005-04-14 14:22:52
|
Bugs item #1183074, was opened at 2005-04-14 09:22 Message generated for change (Tracker Item Submitted) made by Item Submitter You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1183074&group_id=588 Category: editor core Group: normal bug Status: Open Resolution: None Priority: 5 Submitted By: Matthew Zaleski (silicon_ghost) Assigned to: Nobody/Anonymous (nobody) Summary: Dock splitter can be moved to a negative value Initial Comment: At least for the left dock, it is possible to drag the splitter to a negative value. Once this happens, it is impossible to resize the dock without modifying perspective.xml by hand. The first time I encountered the bug the LEFT_POS attribute of <DOCKING> was saved as "-1". The problem does not occur LEFT_POS="0". In reproducing the bug, I was able, via dragging the splitter, to get LEFT_POS="-7". My guess is that lower bounding is not being done on the splitter mouse event. PERSPECTIVE.XML *snip* <GEOMETRY X="-1549" Y="28" WIDTH="1512" HEIGHT="1101" EXT_STATE="0" /> <DOCKING LEFT="" TOP="" RIGHT="" BOTTOM="" LEFT_POS="-7" TOP_POS="-10" RIGHT_POS="390" BOTTOM_POS="163" /> *snip* Version info: [message] Log: When reporting bugs, please include the following information: [message] Log: java.version=1.5.0_02 [message] Log: java.vm.version=1.5.0_02-b09 [message] Log: java.runtime.version=1.5.0_02-b09 [message] Log: java.vendor=Sun Microsystems Inc. [message] Log: java.compiler=null [message] Log: os.name=Windows XP [message] Log: os.version=5.1 [message] Log: os.arch=x86 [message] Log: user.home=C:\Documents and Settings\mzaleski [message] Log: java.home=C:\Program Files\Java\jre1.5.0_02 [message] Log: java.class.path=C:\Program Files\jEdit 4.3pre2\jedit.jar [notice] jEdit: jEdit version 4.3pre2 ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1183074&group_id=588 |