adjust column width of marker

d-akara · May 13, 2018 · 0005884 · 0005884
1 parent e122088
commit 0005884
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 7 deletions.
diff --git a/dakara.eclipse.commander.feature/feature.xml b/dakara.eclipse.commander.feature/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="dakara.eclipse.commander.feature"
       label="Commander Feature"
-      version="1.2.0">
+      version="1.3.0">
 
    <description url="https://github.com/dakaraphi/eclipse-plugin-commander">
       1) Commander - a more powerful version of quick access

diff --git a/dakara.eclipse.commander.plugin/src/dakara/eclipse/plugin/kavi/picklist/KaviListColumns.java b/dakara.eclipse.commander.plugin/src/dakara/eclipse/plugin/kavi/picklist/KaviListColumns.java
@@ -70,7 +70,7 @@ protected void paint(Event event, Object element) {
 
 					gc.setForeground(fromRegistry(markerColor));
 					gc.setBackground(fromRegistry(markerColor));
-					gc.fillRectangle(bounds.x, bounds.y + 2, 3, bounds.height - 4);
+					gc.fillRectangle(bounds.x, bounds.y + 2, getAdjustmentForMarkerWidth(), bounds.height - 4);
 				}
 				super.paint(event, element);
 			}
@@ -182,10 +182,12 @@ private String getColumnIdFromColumnIndex(int columnIndex) {
 	}
 
     private StyleRange[] createStyles(List<Integer> matches) {
-    	List<StyleRange> styles = new ArrayList<StyleRange>();
-    	for (Integer match : matches) {
-    		styles.add(new StyleRange(match, 1, null, fromRegistry(new RGB(150,190,255))));
-    	}
-    	return styles.toArray(new StyleRange[]{});
+	    	List<StyleRange> styles = new ArrayList<StyleRange>();
+	    	for (Integer match : matches) {
+	    		styles.add(new StyleRange(match, 1, null, fromRegistry(new RGB(150,190,255))));
+	    	}
+	    	return styles.toArray(new StyleRange[]{});
     }
+
+    private int getAdjustmentForMarkerWidth() 	{return SWT.getPlatform().equals("win32") ? 3  : 2;}
 }