Improves preference page UI.01/24401/4
commitce47ba16ec92def769df45246cf84169ada8ac2f
authorArthur Daussy <arthur.daussy@obeo.fr>
Thu, 3 Apr 2014 15:20:54 +0000 (3 17:20 +0200)
committerAxel RICHARD <axel.richard@obeo.fr>
Mon, 7 Apr 2014 15:58:06 +0000 (7 11:58 -0400)
tree6cf8ae1d3182bc03ca549a8f3e995fae3fb1cde5
parent7f88ae548c229e3b90b87322f8b2e20af50e0a40
Improves preference page UI.

Improves layout on Engines preference page.
Removes SWT.BORDER on composite to look cleaner on window OS.

Change-Id: If9080642d4dd58d603ffd8d31041dc91b1c8e75f
Signed-off-by: Arthur Daussy <arthur.daussy@obeo.fr>
plugins/org.eclipse.emf.compare.rcp.ui/src/org/eclipse/emf/compare/rcp/ui/internal/configuration/ui/match/DefaultMatchEngineConfiguratorUI.java
plugins/org.eclipse.emf.compare.rcp.ui/src/org/eclipse/emf/compare/rcp/ui/internal/preferences/FiltersPreferencePage.java
plugins/org.eclipse.emf.compare.rcp.ui/src/org/eclipse/emf/compare/rcp/ui/internal/preferences/impl/GroupsInteractiveContent.java
plugins/org.eclipse.emf.compare.rcp.ui/src/org/eclipse/emf/compare/rcp/ui/internal/preferences/impl/InteractiveUIContent.java