Commit Graph
27 Commits
Author SHA1 Message Date
David Lechner 5614bb1747 add check command to editor
This adds a check command ala Mu editor.
2021-01-24 12:27:16 -06:00
David Lechner 73f155d370 add Select All to editor context menu 2021-01-24 10:56:41 -06:00
David Lechner 43cc1bce1c make "BETA" watermark depend on app version 2021-01-18 17:29:03 -06:00
David Lechner 2f57ae2f57 split scss into separate files 2021-01-14 16:35:23 -06:00
David Lechner 25c0d104a9 convert macOS check to utility function 2021-01-14 15:25:57 -06:00
David Lechner d7dbaaa12d add dark mode setting 2021-01-11 23:36:48 -06:00
David Lechner 2342023f71 use craco
This lets us modify some config without ejecting create-react-app.

This allows us to target esnext which works around a number of issues
with multi-targeted packages like blueprintsjs and react-i18n.
2021-01-08 18:05:51 -06:00
David Lechner 113243828f add snippets for primehub and inventor hub 2020-12-10 16:59:37 -06:00
David Lechner 2fdcea091e add beta watermark 2020-06-16 09:39:09 +02:00
David Lechner 30db09daf5 enable code snippets in auto completion 2020-06-15 14:53:16 -05:00
David Lechner e0e2d98cd0 rename translation files
This fixes case-insensitive file name conflicts, e.g. editor.ts Editor.ts
2020-06-13 00:00:42 -05:00
David Lechner 95a98241e8 simplify editor getter 2020-06-12 21:46:00 -05:00
David Lechner dd146b5f36 fix binding of editor reference
This was causing resizing of the editor to not work properly
2020-06-12 21:46:00 -05:00
David Lechner 7509c329d6 fix editor scroll bar on first load
It seems that some container of the Editor component is breaking the
resize calculation when the page firsts loads. So we have to be bit
hacky and defer the call the resize until after all components have
been rendered.
2020-06-11 10:06:16 -05:00
David Lechner 6d81da0df0 Show notification when program is changed in another window 2020-06-09 23:51:32 -05:00
David Lechner 67f9202fb6 use session storage instead of local storage
This will allow use of multiple tabs/windows
2020-06-08 20:56:00 -05:00
David Lechner e8ddf09323 add context menu 2020-06-08 20:56:00 -05:00
David Lechner 89f93b0faf add i18n to editor 2020-06-08 20:56:00 -05:00
David Lechner 0940226a4d use utility classes
similar to how bootstrap works
2020-06-07 21:39:58 -05:00
David Lechner d9211b5b10 switch to blueprintjs UI toolkit 2020-06-07 18:59:02 -05:00
Laurens Valk 67de6c3af9 app: fill vertically & horizontally
Do not use a fixed height for the editor, but responsively scale to the remaining available height.

Also fill horizontally for a responsive layout. This gives us room to add left or right columns with docs or settings.
2020-05-29 10:24:05 -05:00
David Lechner df34cd4ae5 Ignore CTRL+S in editor
Some programmers have the habbit of always pressing
CTRL+S which opens the browsers save as dialog and
interrupts workflow. We already automatically save
the current file, so we can just ignore they keypress.
2020-05-25 21:31:35 -05:00
David Lechner dd9d789e9a license 2020-05-22 19:54:48 -05:00
David Lechner a44e97f4a3 terminal resizing 2020-05-04 22:08:44 -05:00
David Lechner 530f164af1 alphabetize imports 2020-04-19 15:53:28 -05:00
David Lechner 454475980a wire up run button 2020-04-17 16:57:51 -05:00
David Lechner b155e45d8c add editor back in 2020-04-15 17:39:01 -05:00