Command palette (#528)
* added a command palette hotkey; * removed the Settings, Add Word and Change Keyboard hotkeys * added a compact command palette at the bottom * big refactoring: cleaned up the IME module, added UiHandler and cleaned up the MainViews * documentation update
This commit is contained in:
parent
458f3d106d
commit
b5d58f5720
42 changed files with 721 additions and 486 deletions
|
|
@ -1,7 +1,7 @@
|
|||
<?xml version="1.0" encoding="utf-8"?>
|
||||
<manifest xmlns:tools="http://schemas.android.com/tools"
|
||||
android:versionCode="543"
|
||||
android:versionName="32.0"
|
||||
android:versionCode="548"
|
||||
android:versionName="32.5"
|
||||
xmlns:android="http://schemas.android.com/apk/res/android">
|
||||
|
||||
<uses-permission android:name="android.permission.POST_NOTIFICATIONS"/> <!-- allows displaying notifications on Android >= 13 -->
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue