Revision: 6034
http://sourceforge.net/p/jump-pilot/code/6034
Author: edso
Date: 2018-12-27 11:17:41 +0000 (Thu, 27 Dec 2018)
Log Message:
-----------
minor reformatting
make sure workbench pane background is blue over on all implementations, before
the bg color was determined by the UI used
Modified Paths:
--------------
core/trunk/src/com/vividsolutions/jump/workbench/ui/WorkbenchFrame.java
Modified:
core/trunk/src/com/vividsolutions/jump/workbench/ui/WorkbenchFrame.java
===================================================================
--- core/trunk/src/com/vividsolutions/jump/workbench/ui/WorkbenchFrame.java
2018-12-24 06:53:13 UTC (rev 6033)
+++ core/trunk/src/com/vividsolutions/jump/workbench/ui/WorkbenchFrame.java
2018-12-27 11:17:41 UTC (rev 6034)
@@ -284,23 +284,18 @@
};
private JDesktopPane desktopPane = new JDesktopPane() {
- {
- // Simple workaround for the following JUMP bug: if you maximize
one
- // JInternalFrame, then all
- // JInternalFrames get maximized (including attribute windows,
- // undesirably). The workaround is
- // to use the DefaultDesktopManager instead of the one installed by
- // the
- // Windows L&F
- // (the WindowsDesktopManager). (Uwe Dalluege noticed that the
- // problem
- // occurred with the
- // Windows L&F but not the Metal L&F -- this observation led me to
- // the
- // solution).
- // [Jon Aquino 2005-07-04]
- setDesktopManager(new DefaultDesktopManager());
- }
+ {
+ // Simple workaround for the following JUMP bug: if you maximize one
+ // JInternalFrame, then all JInternalFrames get maximized (including
attribute
+ // windows, undesirably). The workaround is to use the
DefaultDesktopManager
+ // instead of the one installed by the Windows L&F (the
WindowsDesktopManager).
+ // (Uwe Dalluege noticed that the problem occurred with the Windows
L&F but not
+ // the Metal L&F -- this observation led me to the solution).
+ // [Jon Aquino 2005-07-04]
+ setDesktopManager(new DefaultDesktopManager());
+ // make sure bg is blue in all implementations
+ setBackground(new Color(58, 110, 165));
+ }
};
// <<TODO:REMOVE>> Actually we're not using the three optimization
_______________________________________________
Jump-pilot-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
