diff options
Diffstat (limited to 'org.eclipse.vex.ui/src/org/eclipse/vex/ui/internal/VexPreferences.java')
-rw-r--r-- | org.eclipse.vex.ui/src/org/eclipse/vex/ui/internal/VexPreferences.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/org.eclipse.vex.ui/src/org/eclipse/vex/ui/internal/VexPreferences.java b/org.eclipse.vex.ui/src/org/eclipse/vex/ui/internal/VexPreferences.java index 056b959c..643184ac 100644 --- a/org.eclipse.vex.ui/src/org/eclipse/vex/ui/internal/VexPreferences.java +++ b/org.eclipse.vex.ui/src/org/eclipse/vex/ui/internal/VexPreferences.java @@ -4,7 +4,7 @@ * are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
- *
+ *
* Contributors:
* Florian Thienel - initial API and implementation
*******************************************************************************/
@@ -88,6 +88,7 @@ public class VexPreferences implements IStyleSheetProvider { return preferenceStore.getInt(LINE_WIDTH);
}
+ @Override
public StyleSheet getStyleSheet(final DocumentContentModel documentContentModel) {
Style style = null;
if (documentContentModel instanceof VexDocumentContentModel) {
|