[FIX] GUI, Editor: tab switch (ctrl-tab) with Mac OSX & (possibly) Linux