I just spent an hour https://github.com/refset/squint/commit/871a9b82c8c7fe7daf0630bce5c10662b8691bfb with styling ideas in ChatGPT

good fun!

If you enable github pages for your repo, we should be able to see it live in your repo

done 🙂 https://refset.github.io/squint/

hahaha awesome

PR welcome with some of these changes in so far they don't affect the playground functionality

I like the darkmode

cool, yeah the darkmode was my initial objective, John was just a bonus

are you thinking a theme selector? or a bi/tri-state dark mode toggle?

darkmode by default + switch could be nice, but only if you feel like doing it, don't feel pressured

I think a darkmode definitely feels more advent-y 😉

I will see if I get time later today, but anyone else should also feel free to try / beat me to it(!)

styling is not my department, take your time :)

Awesomeness

It's beautiful 🙂. There's only thing that doesn't work for me both on linux and windows. It's the (rather uncommon) Win+enter shortcut. On linux, that shortcut is interfering with pop shell's (pop os) tiling extensions. On windows (10 I believe, with pretty much no customizations), it just doesn't seem to work. Would perhaps a bit more standard Ctrl+enter work?

@U01LFP3LA6P Execute this in your browser console and it switches to Ctrl:

localStorage.setItem("editor.modifier", "Ctrl")

+ reload the page works like a charm on linux

ok, there should probably be some UI thing for it

I don't know what is the best way to add advanced options without cluttering the UI

I guess we could link to a snippet: https://squint-cljs.github.io/squint/?repl=true&src=KGpzL2xvY2FsU3RvcmFnZS5zZXRJdGVtICJlZGl0b3IubW9kaWZpZXIiICJDdHJsIik%3D

That shows how to modify settings through code

change it to:

JSON.parse(urlParams.get('repl')) !== 'false'

and ensure that it can be switched off

thanks, TIL (explanation of the difference: https://chat.openai.com/share/636fbf6d-e729-475a-b801-583229f2b41a)