Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Configurable padding #2210

Closed
Mark-Joy opened this issue Aug 6, 2021 · 2 comments
Closed

Configurable padding #2210

Mark-Joy opened this issue Aug 6, 2021 · 2 comments
Labels
enhancement

Comments

@Mark-Joy
Copy link

Mark-Joy commented Aug 6, 2021

Feature description

I know Termux has a little padding, can we make this padding configurable?
My phone has its screen edged covered a little bit. I think some people also have the same issue.

IMG_20210806_170913
@agnostic-apollo agnostic-apollo mentioned this issue Aug 25, 2021
Closed
@Aridlvory
Copy link

Yes it's a big problem for me... I shuld tilt the phone or open recent apps to check what's at the edge. And it can be resolved by changing the padding level of the whole phone's os with the help of developer options
But I still follow with @Mark-Joy 's request because if we did anything wrong in the Dev options and we can't get back, Then we are stuck. But if we do something wrong in termux setting, we can get back by cp all files or not down the source of all resources... Delete termux.... Reinstall termux.... Then re-download or cp all the files
Changing the os setting is bad...

@Mark-Joy
Copy link
Author

@Aridlvory
The solution was already implemented, just wait for the next release.

AdamMickiewich pushed a commit to VolyaTeam/dzida-app that referenced this issue Aug 8, 2022
@agnostic-apollo
Added: Allow users to adjust terminal horizontal and vertical margin
3a6052c 
The `terminal-margin-horizontal` key can be used to adjust the terminal left/right margin and the `terminal-margin-vertical` can be used to adjust the terminal top/bottom margin. This will also affect drawer. The user can set an integer value between `0` and `100` as `dp` units. The default value is still `3` for horizontal and `0` for vertical margin. So adding an entry like `terminal-margin-horizontal=10` to `termux.properties` file will allow users to set a horizontal margin of `10dp`. After updating the value, either restart termux or run `termux-reload-settings` for changes to take effect.

This was added since for some users text on edges would not be shown on the screen or they had screen protectors/cases that covered screen edges (Of course, that would require fixing every single app and android system UI itself, so kinda stupid to use). Moreover, horizontal margin of like `10dp` may be helpful with peek-and-slide for people having gesture navigation enabled on android `10+` since they won't be to touch at exactly the edge of the screen to trigger peek (termux#1325).

Closes termux#2210
shrihankp pushed a commit to reisxd/termux-app that referenced this issue Oct 20, 2022
@agnostic-apollo
Added: Allow users to adjust terminal horizontal and vertical margin
6126e33 
The `terminal-margin-horizontal` key can be used to adjust the terminal left/right margin and the `terminal-margin-vertical` can be used to adjust the terminal top/bottom margin. This will also affect drawer. The user can set an integer value between `0` and `100` as `dp` units. The default value is still `3` for horizontal and `0` for vertical margin. So adding an entry like `terminal-margin-horizontal=10` to `termux.properties` file will allow users to set a horizontal margin of `10dp`. After updating the value, either restart termux or run `termux-reload-settings` for changes to take effect.

This was added since for some users text on edges would not be shown on the screen or they had screen protectors/cases that covered screen edges (Of course, that would require fixing every single app and android system UI itself, so kinda stupid to use). Moreover, horizontal margin of like `10dp` may be helpful with peek-and-slide for people having gesture navigation enabled on android `10+` since they won't be to touch at exactly the edge of the screen to trigger peek (termux#1325).

Closes termux#2210
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@Mark-Joy @agnostic-apollo @Aridlvory