Comment 0 for bug 1400329

Revision history for this message
Nekhelesh Ramananthan (nik90) wrote :

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.