From: <sh...@us...> - 2007-12-11 09:16:13
|
Revision: 11390 http://jedit.svn.sourceforge.net/jedit/?rev=11390&view=rev Author: shlomy Date: 2007-12-11 01:16:11 -0800 (Tue, 11 Dec 2007) Log Message: ----------- Small cosmetic change Modified Paths: -------------- plugins/InfoNodeDW/trunk/src/infonode/WindowManager.java Modified: plugins/InfoNodeDW/trunk/src/infonode/WindowManager.java =================================================================== --- plugins/InfoNodeDW/trunk/src/infonode/WindowManager.java 2007-12-11 09:01:09 UTC (rev 11389) +++ plugins/InfoNodeDW/trunk/src/infonode/WindowManager.java 2007-12-11 09:16:11 UTC (rev 11390) @@ -431,7 +431,7 @@ tw = rightTab; else if (position.equals(DockableWindowManager.BOTTOM)) tw = bottomTab; - if (position.equals(DockableWindowManager.TOP)) + else if (position.equals(DockableWindowManager.TOP)) tw = topTab; if (tw != null) { if (v.getWindowParent() != tw) This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |