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
