zshrc: bash-style reverse incremental search on ^R

[dotfiles.git] / termux / termux.properties

diff --git a/termux/termux.properties b/termux/termux.properties
index 9cf0a5aba2c62d4237f51a632fb3033d1cfd2f4b..149ae2e2b23412d98254611d8157ed886274013b 100644 (file)
--- a/termux/termux.properties
+++ b/termux/termux.properties
@@ -1,5 +1,14 @@
-### After making changes and saving you need to run `termux-reload-settings`
-### to update the terminal.  All information here can also be found on the
+### This is a `.properties` [https://en.wikipedia.org/wiki/.properties] file
+### for termux app properties and is loaded with the `java.util.Properties.load()`
+### [https://developer.android.com/reference/java/util/Properties#load(java.io.Reader)]
+### call by the termux app and must be formatted as per its spec.
+### To make changes to a property value, uncomment the property line by removing
+### any hash `#` characters at the start of the line.
+### After making required changes, save the file and run `termux-reload-settings`
+### in the terminal for changes to take effect. Some properties require app
+### process to be restarted to be updated which can be done by force stopping
+### the app from Android app settings.
+### All information here can also be found on the
 ### wiki: https://wiki.termux.com/wiki/Terminal_Settings
 
 ###############
@@ -34,7 +43,7 @@
 
 ###############
 # Fullscreen mode
-##############
+###############
 
 ### Uncomment to let Termux start in full screen mode.
 fullscreen = true
@@ -60,17 +69,18 @@ fullscreen = true
 ### Settings for choosing which set of symbols to use for illustrating keys.
 ### Choose between default, arrows-only, arrows-all, all and none
 # extra-keys-style = default
+extra-keys-style = all
 
 ### Force capitalize all text in extra keys row button labels.
 # extra-keys-text-all-caps = true
 
 ### Default extra-key configuration
 # extra-keys = [[ESC, TAB, CTRL, ALT, {key: '-', popup: '|'}, DOWN, UP]]
-extra-keys = [[ESC, TAB, CTRL, ALT, '/', '~']]
 
 ### Two rows with more keys
 # extra-keys = [['ESC','/','-','HOME','UP','END','PGUP'], \
 #               ['TAB','CTRL','ALT','LEFT','DOWN','RIGHT','PGDN']]
+extra-keys = [[DRAWER, KEYBOARD]]
 
 ### Configuration with additional popup keys (swipe up from an extra key)
 # extra-keys = [[ \
@@ -170,3 +180,13 @@ extra-keys = [[ESC, TAB, CTRL, ALT, '/', '~']]
 
 ### ctrl+space (for marking text in emacs) does not work on some devices
 # ctrl-space-workaround = true
+
+###############
+# Terminal Margin adjustments
+###############
+
+### Horizontal (left/right) Margin
+# terminal-margin-horizontal=3
+
+### Vertical (top/bottom) Margin
+# terminal-margin-vertical=0