| 2014-12-08 14:05:09 |
Nekhelesh Ramananthan |
description |
The settings page offers options to change the font size, terminal colors which are stuff that users may change rarely and thereby the settings button doesn't need to be shown so promptly in the top right corner. I don't have an idea on where to move it to, but the current position seems a bit distracting as it hides the content below it. |
The settings page offers options to change the font size, terminal colors which are stuff that users may change rarely and thereby the settings button doesn't need to be shown so promptly in the top right corner. I don't have an idea on where to move it to, but the current position seems a bit distracting as it hides the content below it.
I think the settings button should be moved into the menu shown at the bottom. |
|
