add a setting for changing font size

This commit is contained in:
tibbi
2016-09-25 18:02:16 +02:00
parent f00c310dae
commit eea3f3dc63
12 changed files with 107 additions and 2 deletions

View File

@@ -9,6 +9,13 @@ public class Constants {
public static final String IS_DARK_THEME = "is_dark_theme";
public static final String AUTOSAVE = "autosave";
public static final String PROMPT_AUTOSAVE = "prompt_autosave";
public static final String FONT_SIZE = "font_size";
public static final String WIDGET_BG_COLOR = "widget_bg_color";
public static final String WIDGET_TEXT_COLOR = "widget_text_color";
// font sizes
public static final int FONT_SIZE_SMALL = 0;
public static final int FONT_SIZE_NORMAL = 1;
public static final int FONT_SIZE_LARGE = 2;
}