increasing the default editor font size a bit

This commit is contained in:
tibbi 2020-03-26 18:08:03 +01:00
parent 0e2ca893e4
commit 3cae8b0fe8
1 changed files with 1 additions and 1 deletions

View File

@ -71,6 +71,6 @@ class Config(context: Context) : BaseConfig(context) {
set(enableRootAccess) = prefs.edit().putBoolean(ENABLE_ROOT_ACCESS, enableRootAccess).apply()
var editorTextZoom: Float
get() = prefs.getFloat(EDITOR_TEXT_ZOOM, 0f)
get() = prefs.getFloat(EDITOR_TEXT_ZOOM, 1.2f)
set(editorTextZoom) = prefs.edit().putFloat(EDITOR_TEXT_ZOOM, editorTextZoom).apply()
}