Interesting solution.
Thanks Ede to taking care of these bugs ;-)
2018-04-06 16:14 GMT+02:00 jump-pilot-svn--- via Jump-pilot-devel <
jump-pilot-devel@lists.sourceforge.net>:
> Revision: 5741
> http://sourceforge.net/p/jump-pilot/code/5741
> Author: edso
> Date: 2018-04-06 14:14:17 +0000 (Fri, 06 Apr 2018)
> Log Message:
> -----------
> beautify layer info internal frame with a smaller 14x14 icon
>
> Modified Paths:
> --------------
> core/trunk/src/org/openjump/core/ui/plugin/layer/
> NewLayerPropertiesPlugIn.java
>
> Added Paths:
> -----------
> core/trunk/src/com/vividsolutions/jump/workbench/
> ui/images/information_12x12.png
>
> Added: core/trunk/src/com/vividsolutions/jump/workbench/
> ui/images/information_12x12.png
> ===================================================================
> (Binary files differ)
>
> Index: core/trunk/src/com/vividsolutions/jump/workbench/
> ui/images/information_12x12.png
> ===================================================================
> --- core/trunk/src/com/vividsolutions/jump/workbench/
> ui/images/information_12x12.png 2018-04-06 14:11:45 UTC (rev 5740)
> +++ core/trunk/src/com/vividsolutions/jump/workbench/
> ui/images/information_12x12.png 2018-04-06 14:14:17 UTC (rev 5741)
>
> Property changes on: core/trunk/src/com/vividsolutions/jump/workbench/
> ui/images/information_12x12.png
> ___________________________________________________________________
> Added: svn:mime-type
> ## -0,0 +1 ##
> +application/octet-stream
> \ No newline at end of property
> Modified: core/trunk/src/org/openjump/core/ui/plugin/layer/
> NewLayerPropertiesPlugIn.java
> ===================================================================
> ---
> core/trunk/src/org/openjump/core/ui/plugin/layer/NewLayerPropertiesPlugIn.java
> 2018-04-06 14:11:45 UTC (rev 5740)
> +++
> core/trunk/src/org/openjump/core/ui/plugin/layer/NewLayerPropertiesPlugIn.java
> 2018-04-06 14:14:17 UTC (rev 5741)
> @@ -79,6 +79,7 @@
> import com.vividsolutions.jump.workbench.plugin.EnableCheckFactory;
> import com.vividsolutions.jump.workbench.plugin.MultiEnableCheck;
> import com.vividsolutions.jump.workbench.plugin.PlugInContext;
> +import com.vividsolutions.jump.workbench.ui.GUIUtil;
> import com.vividsolutions.jump.workbench.ui.HTMLPanel;
> import com.vividsolutions.jump.workbench.ui.images.IconLoader;
> import com.vividsolutions.jump.workbench.ui.renderer.style.AlphaSetting;
> @@ -213,7 +214,7 @@
> frame.setTitle(LAYER_PROPERTIES + ": " + MULTIPLE_SOURCES);
> }
> frame.setIconifiable(true);
> - frame.setFrameIcon(IconLoader.icon("information_16x16.png"));
> + frame.setFrameIcon(GUIUtil.pad(IconLoader.icon("
> information_12x12.png"),1));
> Border mainComponentBorder = BorderFactory.createCompoundBorder(
> BorderFactory.createEtchedBorder(),
> BorderFactory.createEmptyBorder(5, 5, 5, 5));
>
>
> ------------------------------------------------------------
> ------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
> _______________________________________________
> Jump-pilot-devel mailing list
> Jump-pilot-devel@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
>
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
