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

Option to disable the full title in the top bar? #19

Open
jurf opened this issue Feb 21, 2015 · 2 comments
Open

Option to disable the full title in the top bar? #19

jurf opened this issue Feb 21, 2015 · 2 comments
Labels
enhancement feature-title help wanted

Comments

@jurf
Copy link

jurf commented Feb 21, 2015

Personally don't really see an use for it, I never care what the title is, it just makes the top bar look more crowded.
@wilfm
Copy link
Owner

wilfm commented Feb 21, 2015

It is a useful feature for quite a few programs anyway - such as seeing the filename of documents open in Libreoffice, PDF viewers etc

I need to add in some settings anyway once I have worked out how to fix the bugs for newer versions of GNOME :)

@jurf
Copy link
Author

jurf commented Feb 21, 2015

Nice, thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement feature-title help wanted
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@wilfm @jurf