소스 검색

changed style to list,
removed custom font
Usability optimizations of palette #327

Andreas Muelder 9 년 전
부모
커밋
a50d8c0ef7
1개의 변경된 파일1개의 추가작업 그리고 2개의 파일을 삭제
  1. 1 2
      plugins/org.yakindu.sct.ui.editor/src/org/yakindu/sct/ui/editor/preferences/PreferenceInitializer.java

+ 1 - 2
plugins/org.yakindu.sct.ui.editor/src/org/yakindu/sct/ui/editor/preferences/PreferenceInitializer.java

@@ -48,9 +48,8 @@ public class PreferenceInitializer extends DiagramPreferenceInitializer
 
 		// set preferences for tool palette.
 		DefaultPaletteViewerPreferences prefs = new DefaultPaletteViewerPreferences();
-		prefs.setLayoutSetting(DefaultPaletteViewerPreferences.LAYOUT_COLUMNS);
+		prefs.setLayoutSetting(DefaultPaletteViewerPreferences.LAYOUT_LIST);
 		prefs.setCurrentUseLargeIcons(true);
-		prefs.setFontData(new FontData("Verdana", 8, SWT.NONE));
 
 		// State line and background color
 		PreferenceConverter.setDefault(getPreferenceStore(),