5 Commits

Author	SHA1	Message	Date
Corey Johnson	77baa7be09	Extract command panel as an extension	2012-05-08 13:49:06 -07:00
Corey Johnson & Nathan Sobo	038b491247	Add 'mini' option to editor, which styles it with auto-height, no gutter, and overflow hidden on scroller	2012-04-19 16:45:57 -06:00
Nathan Sobo	a4c25dc678	Flash red when entering a malformed command in the command panel	2012-03-28 16:11:44 -07:00
Nathan Sobo	a91c8098a3	Style the command palette with a ":" before the editor.	2012-03-20 20:35:00 -06:00
Nathan Sobo	e5eedfb7c7	Meta-: toggles the command palette	2012-03-20 19:59:37 -06:00