Jump to content


Level 1
  • Content Count

  • Joined

  • Last visited

Community Reputation

0 Neutral

About xavier10

  1. I am very often using this feature (key stroke to change the font size), and got used to the new key stroke, but it seems that it is now broken (version 6.6). How to (1) change the font size without mouse interaction ? (I like key strokes more than icons) and (2) use intermediate font sizes ? (the menu proposes only a few of them: 14, 18, 24...) Thanks !
  • Create New...