Merge pull request #1013 from orange-elephant/no-icons-view-mode

Add 'No Icons' view mode
This commit is contained in:
Alexander Bakker 2022-11-20 18:36:42 +01:00 committed by GitHub
commit 01e59d79a1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
8 changed files with 52 additions and 9 deletions

View file

@ -120,6 +120,10 @@ public class Preferences {
return _prefs.getBoolean("pref_account_name", true);
}
public boolean isIconVisible() {
return _prefs.getBoolean("pref_show_icons", true);
}
public CodeGrouping getCodeGroupSize() {
String value = _prefs.getString("pref_code_group_size_string", "GROUPING_THREES");