|
|
1129e76ad3
|
feature (editor): make editing of code nicer
|
2022-11-30 00:25:45 +11:00 |
|
|
|
c6da62a94c
|
fix (eslint): linting
|
2022-01-31 17:43:45 +11:00 |
|
|
|
d6616856b5
|
maintain (eslint): cleanup via eslint
|
2022-01-30 23:38:40 +11:00 |
|
|
|
81570bccbd
|
fix (editor): base editor on Code Mirror - #330
|
2020-10-18 23:47:06 +11:00 |
|
|
|
3b65cdf417
|
feature (readonly): respect readonly restriction on the editor
|
2019-01-28 01:09:45 +11:00 |
|
|
|
cb4c98e871
|
feature (editor): syntax highlighting for .properties file
|
2018-11-21 22:30:01 +11:00 |
|
|
|
f6e34bae24
|
fix (editor): can change editor
|
2018-09-18 14:39:56 +10:00 |
|
|
|
31f8c273ff
|
fix (ipad): fix ipad problems as reported by our patreon
|
2018-08-01 14:57:03 +10:00 |
|
|
|
dd562ecc37
|
feature (hot reload): make configuration easier - #91
|
2018-07-18 01:40:38 +10:00 |
|
|
|
96cfd1a623
|
feature (editor): provide different choices for keybinding - #80
|
2018-06-06 20:57:05 +10:00 |
|
|
|
3421faa4b5
|
feature (editor): save before quit - #81
|
2018-06-06 20:29:19 +10:00 |
|
|
|
a06f3ea36b
|
fix (orgmode): display issues and navigation - #72
|
2018-05-22 15:29:40 +10:00 |
|
|
|
833ae8ce9b
|
fix (display): fix a few issues in how things are displayed - #72
|
2018-05-22 00:24:28 +10:00 |
|
|
|
8b313c6bef
|
feature (orgmode): making org mode awesome from a browser
|
2018-05-05 00:23:05 +10:00 |
|
|
|
18cd865b57
|
improvement (orgmode): trigger actions while clicking on org mode elements
|
2018-05-01 20:13:42 +10:00 |
|
|
|
716f90008f
|
feature (orgmode): org mode on mobile: touching a heading/checkbox to
toggle and UI improvements
|
2018-05-01 01:01:37 +10:00 |
|
|
|
64fa1f868f
|
improvement (UI): improve transitions
|
2018-04-30 02:10:25 +10:00 |
|
|
|
245210d223
|
fix (mobile): fix UI glitches found from testing on different devices
|
2018-04-30 01:28:48 +10:00 |
|
|
|
259061f5d8
|
feature (org): cool stuff for org mode users ;)
|
2018-04-28 05:00:23 +10:00 |
|
|
|
6fb02b1cd3
|
improvements (emacs): more emacs key bindings
|
2018-04-18 00:37:00 +10:00 |
|
|
|
cd3d19b185
|
bugfix (editor): fix issues with the text editor while changing mode - #47
|
2018-04-18 00:20:24 +10:00 |
|
|
|
9706cd1f81
|
feature (#36): editor save button
|
2018-04-12 14:40:33 +10:00 |
|
|
|
c41cb064b2
|
fix (UI): fix UI + improvements
|
2018-04-12 02:20:14 +10:00 |
|
|
|
3e2714fb33
|
feature (download): Add a way to download a file in the IDE + fix - #34
|
2018-04-11 22:43:36 +10:00 |
|
|
|
c9c4ee1639
|
improvement (code): code refactoring
|
2018-04-10 14:51:52 +10:00 |
|
|
|
950f56bbdf
|
improvement (editor): #20 + bugfix
|
2018-04-10 14:51:52 +10:00 |
|
|
|
89bb4450f3
|
improvement (UI): fixes + cleanup interface - #11
|
2018-04-10 14:51:39 +10:00 |
|
|
|
f093f00a4b
|
maintenance (structure): Full revamp of the project code structure
|
2018-03-07 01:46:21 +11:00 |
|
