{{ type.name | translate }} {{ 'widget.run' | translate }} (CTRL + Return) play_arrow action.run {{ 'widget.undo' | translate }} (CTRL + Q) undo action.undo {{ 'widget.save' | translate }} (CTRL + S) save action.save {{ 'widget.saveAs' | translate }} (Shift + CTRL + S) save action.saveAs {{ 'widget.toggle-fullscreen' | translate }} (Shift + CTRL + F) fullscreen fullscreen_exit widget.toggle-fullscreen more_vert play_arrow action.run undo action.undo save action.save save action.saveAs
{{ 'widget.remove-resource' | translate }} close
{{ 'widget.add-resource' | translate }} action.add
{{ 'widget.tidy' | translate }}
{{ 'widget.tidy' | translate }}
{{ 'widget.tidy' | translate }}
{{ 'widget.tidy' | translate }}
{{ 'widget.tidy' | translate }}