David Smith

Ah, I discovered that `setTheme` exists but it is a global thing: https://microsoft.github.io/monaco-editor/api/modules/monaco.editor.html#settheme so this issue then is a feature request to move `setTheme` to https://microsoft.github.io/monaco-editor/api/interfaces/monaco.editor.istandalonecodeeditor.html or some other way...

I've been changing the theme every time I switch, not ideal though and it only works for me since I never have 2 editors on screen at the same time

Please don't do this until flakes are in the official nix release, not the unstable binary. I was unable to use nixops because I needed features in the latest version...

Just to add to this, I got this error even though I have a pinned version of morph and a pinned version of nixpkgs (from where morph comes) in all...

I've been working on a package manager built in Idris2, I haven't got very far however I have got a package set working, see https://github.com/shmish111/smoke-hill I would like to see...

Another note; the way to make this work is to constantly improve the tooling and processes for managing the package set. It needs to be easy for package maintainers to...

Don't quite understand, why would the start time be non-deterministic if initial delay is 0?

Would pandoc really be necessary? ansi-wl-pprint is already a dependency, wouldn't this be enough to create nice man pages?

I've seen the following which looks like a stack2nix bug to me? ``` "hfsevents" = callPackage ({ mkDerivation, base, bytestring, cereal, Cocoa, CoreServices, mtl , stdenv, text, unix }: mkDerivation...

@domenkozar I have come across this issue myself, how do I override this in default.nix, I can't work it out?