gui: new font, navigation bar, theme

2026-10-18 22:38:32 +02:00 · 2023-04-21 23:59:59 +03:00
parent c572c3926e
commit 8ef5128ee8
10 changed files with 151 additions and 120 deletions
@@ -1,5 +1,6 @@
 package mw.gri.android;

+import android.content.Intent;
 import android.os.Bundle;
 import android.system.ErrnoException;
 import android.system.Os;