CSS: Allow Color And Font Definitions To Be Marked As Not Editable

Color and Fonts can be defined as not editable if done via the
extensions point. Provide the same possibility if they are defined via
CSS.

bundles/org.eclipse.e4.ui.css.swt/plugin.xml

@@ -494,6 +494,7 @@
        	 <property-name name="category"/>
          <property-name name="label"/>       
          <property-name name="description"/>
+         <property-name name="editable"/>
       </handler>
       <handler
             adapter="org.eclipse.e4.ui.css.swt.dom.definition.FontDefinitionElement"

bundles/org.eclipse.e4.ui.css.swt/src/org/eclipse/e4/ui/css/swt/properties/definition/CSSPropertyThemeElementDefinitionHandler.java

@@ -42,6 +42,8 @@ public class CSSPropertyThemeElementDefinitionHandler implements ICSSPropertyHan
 
 	private static final String MESSAGE_QUERY_PARAM = "message";
 
+	private static final String EDITABLE_PROP = "editable";
+
 	private Map<Long, ResourceBundle> bundleToResourceBundles = new WeakHashMap<>();
 
 	@Override
@@ -65,6 +67,10 @@ public boolean applyCSSProperty(Object element, String property,
 		case DESCRIPTION_PROP:
 			definition.setDescription(getLabel(value));
 			break;
+		case EDITABLE_PROP:
+			Boolean editable = (Boolean) engine.convert(value, Boolean.class, null);
+			definition.setEditable(editable);
+			break;
 		default:
 			return false;
 		}

bundles/org.eclipse.e4.ui.css.swt/src/org/eclipse/e4/ui/internal/css/swt/definition/IThemeElementDefinitionOverridable.java

@@ -27,4 +27,6 @@ public interface IThemeElementDefinitionOverridable<T> {
 	void setName(String name);
 
 	void setDescription(String description);
+
+	void setEditable(Boolean editable);
 }

bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/themes/ColorDefinition.java

@@ -155,4 +155,10 @@ public void setValue(RGB data) {
 			appendState(State.OVERRIDDEN);
 		}
 	}
+
+	@Override
+	public void setEditable(Boolean editable) {
+		isEditable = editable;
+	}
+
 }

bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/themes/FontDefinition.java

@@ -138,4 +138,9 @@ public void setValue(FontData[] data) {
 			appendState(State.OVERRIDDEN);
 		}
 	}
+
+	@Override
+	public void setEditable(Boolean editable) {
+		isEditable = editable;
+	}
 }