[XXE] Font size

> Therefore, this feature has been implemented *years* *ago*, but not
> using hotkeys or Ctrl-mouse-wheel, using the Options dialog box!


You are absolutely right, sorry for not checking carefully!

Reply via email to