Increase default font size
Hypertext-infused philosophy personal database software
Brought to you by:
jasonwinning
I'm kind of desperate for this as it's starting to have a big negative effect on useability. Default font size is currently always 10, and even when I change it to 12 inside a text box it sometimes switches back to 10 depending on various sequences of newline/backspace key presses. I find myself regularly having to switch back from keyboard to mouse in order to fix it. If you could even just give a global setting so I can change this without it having to change for anyone else it would be a lifesaver. Thanks!
I am concerned about where you say it is changing back to 10 when you do a certain sequence of keystrokes. Can you give me an example?
To prevent default font size from being fixed at 10, a good enhancement will probably be to add a "Make default" button to make the current font face and size the default for new notes.
For now one potential workaround is to change the zoom factor when viewing a record description. You can do that by moving mouse wheel while holding control (like in a web browser). This doesn't work when editing but will at least make text larger when viewing. The zoom setting is specific to the tab but should stay the same when you exit and restart the application.
I can do the above enhancement for the next release unless you have another suggestion. Another idea is to allow the use of templates for record descriptions. I think this possibility came up in an earlier thread with Danny.
The scroll-zoom is really helpful, thanks.
Here is a sequence of actions that causes the font size to spontaneously change back to 10. There may be a simpler sequence of actions that achieves it as well; this is just what I've managed to find with a bit of experimentation.
The template idea could be useful in general; in terms of the font size, I suspect that once the aforementioned bug is fixed the template won't help further (because I'd be manually setting the font size to 12 in every window anyway -- unless I misunderstood what you meant when you said "the user will need to separately set a template on each tab to get the default to be 12 on each tab").
Thanks!
Now that you mention it I have seen that before. This is actually due to some quirkiness with the rich text editor, which is not something I created from scratch but is part of the JavaFX framework used to build the application. If a feature to change the default font is added, then in this scenario, it will at least switch back to the new default font (though it will still change from the font selected in the dropdown; I may not be able to fix that in a non-hacky way).
After thinking about it I think an application-wide option to set the default font is needed as well as the ability to set a template so I think that will be the plan for the next release.
I found the other thread: https://sourceforge.net/p/hypernomicon/tickets/33/#03cb
Maybe it is time to do this enhancement (use of templates). The disadvantage of the template approach is that the user will need to separately set a template on each tab to get the default to be 12 on each tab, instead of there being a global setting.
Description templates and the ability to set default font size will be included in the next release (immediately after 1.24.2)