Commit graph

32 commits

Author SHA1 Message Date
ed fc5bfe81a0 add hotkey '?' for hotkeys listing 2022-10-30 16:05:14 +00:00
ed ddaaccd5af ux tweaks 2022-05-16 18:56:53 +02:00
ed 1bd7e31466 more theme porting 2022-04-26 00:42:00 +02:00
ed 1f3c46a6b0 forgot some css files 2022-04-15 17:11:46 +02:00
ed c5fbbbbb5c show current line number in md-editor 2021-09-17 01:36:06 +02:00
ed da5f15a778 move general markdown to ui.css 2021-09-05 21:42:41 +02:00
ed 396c64ecf7 move sourcecodepro to ui.css 2021-09-05 18:55:28 +02:00
ed fc49cb1e67 add js repl 2021-08-30 01:09:27 +02:00
ed d52038366b reinventing alert/confirm/prompt was exactly what i had in mind for the weekend, thanks google 2021-08-07 18:41:06 +02:00
ed c164fc58a2 add unpost 2021-07-29 23:53:08 +02:00
ed 955318428a font adjustments 2021-07-27 23:12:47 +02:00
ed d337ecdb20 fix color bleed 2021-07-27 12:02:55 +02:00
ed 5f1f0a48b0 toast appearance 2021-07-27 11:48:32 +02:00
ed e0f1cb94a5 toast close-handle 2021-07-27 10:05:53 +02:00
ed 19f23c686e toasty 2021-07-27 00:18:08 +02:00
ed f3dc6a217b use the new toast in md-editor 2021-07-26 19:20:36 +02:00
ed 629f537d06 add more hotkey tooltips 2021-07-17 01:05:26 +02:00
ed 0e87f35547 ui tweaks 2021-04-24 22:06:21 +02:00
ed 127ec10c0d js cleanup + minor tweaks 2021-04-23 20:04:17 +02:00
ed 69d3359e47 lots of stuff:
* show per-connection and per-transfer speeds
* support multiple cookies in parser
* set SameSite=Lax
* restore macos support in sfx.sh
* md-editor: add mojibake/unicode hunter
* md-editor: add table formatter
* md-editor: make bold bolder
* md-editor: more hotkeys
* md-editor: fix saving in fancy
* md-editor: fix eof-scrolling in chrome
* md-editor: fix text erasure with newline
* md-editor: fix backspace behavior in gutter
2020-11-13 02:58:38 +01:00
ed 678ef296b4 fully hide the navbar when asked 2020-05-17 16:44:58 +02:00
ed 2f1baf17d4 numbered headers for paper-prints 2020-05-17 00:33:34 +02:00
ed 583da3d4a9 actually consider paper-printing 2020-05-16 02:24:27 +02:00
ed 2cb07792cc add monospace font 2020-05-16 02:13:34 +02:00
ed e050e69a43 dodge osx-safari bugs 2020-05-14 00:28:10 +02:00
ed da3f68c363 editor performance 2020-05-13 23:26:11 +02:00
ed 2801c04f2e bit too aggressive 2020-05-11 01:56:26 +02:00
ed 316e3abfab NIH! NIH! NIH! 2020-05-11 01:38:30 +02:00
ed 5b55d05a20 ux tweaks 2020-05-06 23:40:36 +02:00
ed 75e68d3427 ux fixes 2020-05-02 08:01:58 +02:00
ed 334c07cc0c add linetracking to marked.js 2020-04-29 20:29:05 +02:00
ed 1c49b71606 add markdown viewer 2020-04-26 23:43:26 +02:00