Menu

#62 Increase default font size

closed
None
Feature Request
2023-01-15
2022-12-01
No

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!

Discussion

  • Jason Winning

    Jason Winning - 2022-12-03

    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.

     
    • Stephen Mann

      Stephen Mann - 2022-12-04

      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.

      1. Create a new work record.
      2. Before typing anything, change font size to 12.
      3. Type a word.
      4. Press enter twice to create two newlines.
      5. Press backspace once.
      6. Mouse-click on the first line so your cursor is on the first line.
      7. Mouse-click on the second line so your cursor is now on the second line.
      8. The font size is now 10.

      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!

       
      • Jason Winning

        Jason Winning - 2022-12-04

        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.

         
  • Jason Winning

    Jason Winning - 2022-12-03

    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.

     
  • Jason Winning

    Jason Winning - 2023-01-15
    • status: open --> closed
     
  • Jason Winning

    Jason Winning - 2023-01-15

    Description templates and the ability to set default font size will be included in the next release (immediately after 1.24.2)

     

Log in to post a comment.