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.

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

Increase/Decrease font size is not working #165

Closed
csnyulas opened this issue Mar 19, 2015 · 3 comments
Closed

Increase/Decrease font size is not working #165

csnyulas opened this issue Mar 19, 2015 · 3 comments
Labels
Type: Bug Indicates that Protege is not working as expected Type: Enhancement A request for a change that is an enhancement

Comments

@csnyulas
Copy link
Member

The "Increase font size" and "Decrease font size" options in the Window menu (and their attached keyboard shortcuts) have no effect. Apparently they were not working in Protege 4.3 release either.

@csnyulas csnyulas added Type: Bug Indicates that Protege is not working as expected Type: Enhancement A request for a change that is an enhancement labels Mar 19, 2015
@matthewhorridge
Copy link
Contributor

For the record, this works via the renderer tab in the preferences dialog.

@tudorache
Copy link
Member

Maybe we should take out these two menu items then, as they do not work.

@csnyulas
Copy link
Member Author

But even if we take the menu items out we should make sure to leave this issue open, or create a new enhancement request issue, so that we implement this feature at some point, as it is a very much requested one. I witnessed many people who had difficulty seeing what's displayed in the editor, and wanted to increase the font (some of these are reported on the mailing list as well).
We can't expect from users to change their screen resolution to be able to comfortable use Protege, right? On the other hand changing the font size for the entity rendering (File -> Preferences... -> Renderer) works fine.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Type: Bug Indicates that Protege is not working as expected Type: Enhancement A request for a change that is an enhancement
Projects
None yet
Development

No branches or pull requests

3 participants