Skip to content

Release v20.9.7

Compare
Choose a tag to compare
@github-actions github-actions released this 18 Sep 08:12
204157b

20.9.7

  • increasing and decreasing the editor font size with the mouse wheel now also works if
    not on beginning or end of note (for #1870)
  • the note text bookmark slot 0 was sacrificed to allow Ctrl + 0
    to reset the note text font size (for #1869)