wip

generator/generate.html

                             To learn about what features are available to define a card, inspect the sample deck or
                             read some basic documentation at the <a href="http://crobi.github.io/rpg-cards/">project site</a>.
                         </li>
+                        <li>
+                            The editor supports keyboard shortcuts:
+                            CTRL+M (toggle menu),
+                            CTRL+D (duplicate card),
+                            Delete (delete card),
+                            Up or Page-up (previous card),
+                            Down or Page-down (next card)
+                        </li>
                     </ul>
                 </div>
                 <div class="modal-footer">

generator/js/shortcut.d.ts

+interface ShortcutOptions {
+    type?: string;
+    propagate?: boolean;
+    disable_in_input?: boolean;
+    target?: HTMLElement;
+    keycode?: boolean;
+}
+
+
+interface ShortcutStatic {
+    add(key_combination: string, callback: Function, opt?: ShortcutOptions);
+    remove(key_combination: string);
+}
+
+declare var shortcut: ShortcutStatic;

generator/js/ui.ts

         setTimeout(function () { tab.postMessage(card_html, '*') }, 500);
     }
 
-    export function collapse_menu() {
+    function collapse_menu() {
         $("#menu-column").hide();
         $("#card-column").removeClass("col-lg-5");
         $("#card-column").addClass("col-lg-8");
+        editor.resize();
     }
 
-    export function uncollapse_menu() {
+    function uncollapse_menu() {
         $("#menu-column").show();
         $("#card-column").removeClass("col-lg-8");
         $("#card-column").addClass("col-lg-5");
+        editor.resize();
+    }
+
+    export function toggle_menu() {
+        if ($("#menu-column").is(":visible")) {
+            collapse_menu();
+        } else {
+            uncollapse_menu();
+        }
     }
 
     // ============================================================================
         (<any>editor).setOption("wrap", "free");
         editor.setTheme("ace/theme/chrome");
         editor.getSession().setMode("ace/mode/rpgcard");
-        editor.$blockScrolling = Infinity;
+        (<any>editor).$blockScrolling = Infinity;
 
         setup_color_selector();
         (<any>$('.icon-list')).typeahead({ source: icon_names });