Numbat Editor: Monaco - #741

Draft

sharkdp wants to merge 22 commits into

mainfrom

numbat-editor-monaco

Commits on Jun 8, 2025

Add initial version of Numbat editor interface
sharkdp
committed
558c8b3
Add dark them with button toggle

Goju-Ryu
authored and
sharkdp
committed
dca88d6
Make editor and results share one scrollbar

Goju-Ryu
authored and
sharkdp
committed
dae57e8
Minor improvements to interpret function

Goju-Ryu
authored and
sharkdp
committed
8f8f83e
Extract dark and light theme colors to variables

Goju-Ryu
authored and
sharkdp
committed
5c6504c
Include License in icon files just to be safe

Goju-Ryu
authored and
sharkdp
committed
181c3a7
Fix dark theme cursor and text selection colors

Goju-Ryu
authored and
sharkdp
committed
13465d3
Fix gutter image centering

Goju-Ryu
authored and
sharkdp
committed
5673bf5
Fix error message line break format issue

Goju-Ryu
authored and
sharkdp
committed
e44854e
Improve fix of error formatting

Goju-Ryu
authored and
sharkdp
committed
be97361
Prevent default content from showing prematurely

Goju-Ryu
authored and
sharkdp
committed
bd5a154
Fix escaping of html-tag like part of errors

Goju-Ryu
authored and
sharkdp
committed
837e5d0
Add responsive font-size and margin sizes

Goju-Ryu
authored and
sharkdp
committed
6e5a275
Use Monaco
sharkdp
committed
d29198e

Commits on Jun 9, 2025

Inline results
sharkdp
committed
51860e5
Design adjustments
sharkdp
committed
1ea9ba9
More adjustments
sharkdp
committed
16a3705
Inline errors
sharkdp
committed
3ef9d86
More adjustments
sharkdp
committed
9a54795
Change title
sharkdp
committed
b651f27
Remove comments
sharkdp
committed
2e084b9
Errors
sharkdp
committed
9baae69