diff options
| author | Jules Aguillon | 2024-07-06 22:16:37 +0200 |
|---|---|---|
| committer | GitHub | 2024-07-06 22:16:37 +0200 |
| commit | bf3b9c374e1e68b1244da392666b571ab37e51fb (patch) | |
| tree | b76bd387664a2b2fc381a2e907795d21016c150d /res/values/themes.xml | |
| parent | 6021a0b83c33a495fedde7bbb751ad3e3754bd98 (diff) | |
| download | unexpected-keyboard-bf3b9c374e1e68b1244da392666b571ab37e51fb.tar.gz unexpected-keyboard-bf3b9c374e1e68b1244da392666b571ab37e51fb.zip | |
Clipboard pane (#681)
This adds the clipboard pane, which allows to save an arbitrary number of
clipboards and to paste them later. The key can be disabled in settings.
Checking the "Recently copied text" checkbox will cause the keyboard to keep a
temporary history of copied text. This history can only contain 3 elements
which expire after 5 minutes.
If this is unchecked, no history is collected.
History entries can be pinned into the persisted list of pins.
Diffstat (limited to 'res/values/themes.xml')
| -rw-r--r-- | res/values/themes.xml | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/res/values/themes.xml b/res/values/themes.xml index a1892d3..aa30080 100644 --- a/res/values/themes.xml +++ b/res/values/themes.xml @@ -23,11 +23,14 @@ <attr name="keyBorderColorTop" format="color"/> <attr name="keyBorderColorRight" format="color"/> <attr name="keyBorderColorBottom" format="color"/> - <!-- Emoji panel --> + <!-- Emoji pane --> <attr name="emoji_button_bg" type="color" format="color"/> <attr name="emoji_color" type="color" format="color"/> <attr name="emoji_key_bg" type="color" format="color"/> <attr name="emoji_key_text" type="color" format="color"/> + <!-- Clipboard pane --> + <attr name="clipboard_divider_color" type="color" format="color"/> + <attr name="clipboard_divider_height" format="dimension"/> <!-- System integration --> <attr name="navigationBarColor" format="color"/> <attr name="windowLightNavigationBar" format="boolean"/> @@ -43,6 +46,8 @@ <item name="greyedDimming">0.5</item> <item name="emoji_key_bg" type="color">?attr/emoji_button_bg</item> <item name="emoji_key_text" type="color">?attr/colorLabel</item> + <item name="clipboard_divider_color" type="color">?attr/colorKey</item> + <item name="clipboard_divider_height">1px</item> </style> <style name="Dark" parent="BaseTheme"> <item name="android:isLightTheme">false</item> @@ -116,6 +121,7 @@ <item name="colorSubLabel">#333333</item> <item name="emoji_button_bg">#ffffff</item> <item name="emoji_color">#000000</item> + <item name="clipboard_divider_color" type="color">#eeeeee</item> </style> <style name="ePaper" parent="BaseTheme"> <item name="android:isLightTheme">true</item> @@ -134,6 +140,8 @@ <item name="colorSubLabel">#333333</item> <item name="emoji_button_bg">#ffffff</item> <item name="emoji_color">#000000</item> + <item name="clipboard_divider_color" type="color">#000000</item> + <item name="clipboard_divider_height">2dp</item> </style> <style name="Desert" parent="@style/BaseTheme"> <item name="android:isLightTheme">true</item> |