[ jEdit-devel ] [ jedit-Bugs-1183074 ] Dock splitter can be moved to a negative value

[SourceForge.net <no...@so...>]

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