Le 08/12/2016 à 15:41, Jean-Marc Lasgouttes a écrit :
On a side note: I would also appreciate something to quickly change the editor's zoom level. Is there a short-cut or can I define one?Ctrl+/Ctrl- or Ctrl with mouse wheel.
Sorry, you are a mac user. Use Command instead of Ctrl. JMarc
