Added override to getTheme

JabRef · Nov 23, 2019 · 508c2be · 508c2be
1 parent aa06737
commit 508c2be
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/main/java/org/jabref/preferences/JabRefPreferences.java b/src/main/java/org/jabref/preferences/JabRefPreferences.java
@@ -916,8 +916,8 @@ public String getUser() {
             return get(DEFAULT_OWNER);
         }
     }
-
-   public String getTheme() {
+    @Override
+    public String getTheme() {
         return get(FX_THEME);
     }