Remove useless preference tab.73/23473/4
commitd014f0ef1a5233d955f2f26bef2d175e014e8825
authorArthur Daussy <arthur.daussy@obeo.fr>
Mon, 17 Mar 2014 09:24:00 +0000 (17 10:24 +0100)
committerAxel RICHARD <axel.richard@obeo.fr>
Mon, 24 Mar 2014 08:01:31 +0000 (24 04:01 -0400)
tree81d708a75db6d2959e102868f5f45d48f1071421
parent5f3de9a4633efa16cd530061b47c41ef9ead3dcb
Remove useless preference tab.

Remove Filter and Group tab in editor preference pages since they have
their on tab.

Bug: 430372, 429636
Change-Id: I5697e9be7360b1f198b6f4d8b38cf686900dec66
Signed-off-by: Arthur Daussy <arthur.daussy@obeo.fr>
plugins/org.eclipse.emf.compare.rcp.ui/src/org/eclipse/emf/compare/rcp/ui/internal/emfcomparercpuimessages.properties
plugins/org.eclipse.emf.compare.rcp.ui/src/org/eclipse/emf/compare/rcp/ui/internal/preferences/EditorPreferencePage.java