Allow user to change transparency of widgets

Closes #376
This commit is contained in:
2019-12-30 15:51:06 -06:00
parent 5191290188
commit 3f002efb53
22 changed files with 77 additions and 36 deletions

View File

@@ -328,6 +328,11 @@ public class Preferences
storage.putInt("last_version", version);
}
public int getWidgetOpacity()
{
return Integer.parseInt(storage.getString("pref_widget_opacity", "102"));
}
public interface Listener
{
default void onCheckmarkSequenceChanged()