X-Git-Url: https://git.sev.monster/~sev/dotfiles.git/blobdiff_plain/ea963a9040124c7535e11af2731195cd04bb653d..d928d58f1d1502c9751068ee52244c8c94fce31a:/termux/termux.properties diff --git a/termux/termux.properties b/termux/termux.properties index 9cf0a5a..149ae2e 100644 --- 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