Priority priority = newPropertyValue.getPriority();
boolean important = priority == Priority.IMPORTANT;
importantCheckbox.setSelection(important);
handled = true;
} else if (newValue instanceof StyleFraction) {
StyleFraction fractionValue = (StyleFraction) newValue;
updateEditorValue(first, fractionValue.getNumerator());
updateEditorValue(second, fractionValue.getDenominator());
second.setEnabled(true);
Priority priority = newPropertyValue.getPriority();
boolean important = priority == Priority.IMPORTANT;
importantCheckbox.setSelection(important);
handled = true;