Editor font change shortcuts do not work.

cs136 / seashell

Seashell is an online environment for editing, running, and submitting C programming assignments.

GNU General Public License v3.0

38 stars 19 forks source link

Closed cs136 closed 7 years ago

cs136 commented 7 years ago

Submitter: Tim Brecht Chrome Version 55.0.2883.95 (64-bit) on Mac OS X 10.10.5

- and + in editor window do not change the font size. Using the settings works.

yuliswe commented 7 years ago

I figured the hotkeys only work when the editor/console is focused.