zshrc: replace some double quotes with single

[dotfiles.git] / termux / termux.properties

diff --git a/termux/termux.properties b/termux/termux.properties
index 46a26a6607f930f90fdc0ad73343c07654330cc4..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
 
 ###############
 ### wiki: https://wiki.termux.com/wiki/Terminal_Settings
 
 ###############


@@ -34,7 +43,7 @@
 
 ###############
 # Fullscreen mode
 
 ###############
 # Fullscreen mode

-##############
+###############

 
 ### Uncomment to let Termux start in full screen mode.
 fullscreen = true
 
 ### Uncomment to let Termux start in full screen mode.
 fullscreen = true


@@ -67,11 +76,11 @@ extra-keys-style = all
 
 ### Default extra-key configuration
 # extra-keys = [[ESC, TAB, CTRL, ALT, {key: '-', popup: '|'}, DOWN, UP]]
 
 ### Default extra-key configuration
 # extra-keys = [[ESC, TAB, CTRL, ALT, {key: '-', popup: '|'}, DOWN, UP]]

-extra-keys = [[DRAWER, KEYBOARD]]

 
 ### Two rows with more keys
 # extra-keys = [['ESC','/','-','HOME','UP','END','PGUP'], \
 #               ['TAB','CTRL','ALT','LEFT','DOWN','RIGHT','PGDN']]
 
 ### 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 = [[ \
 
 ### Configuration with additional popup keys (swipe up from an extra key)
 # extra-keys = [[ \


@@ -171,3 +180,13 @@ extra-keys = [[DRAWER, KEYBOARD]]
 
 ### ctrl+space (for marking text in emacs) does not work on some devices
 # ctrl-space-workaround = true
 
 ### 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