Jared Hirsch
Jared Hirsch
coolness. i'll hack a bit later today [over here](https://github.com/6a68/asknot/tree/bug-121-list-good-first-bugs) and open a PR when it seems ready. :beers:
I'm not quite following all the discussion about VSCodeNotify and related internals. What exactly do I need to do to get indent folding to work? I'd really appreciate it if...
Yeah, you make a good point. I am tempted to use a word like "non-violent" to try to capture the sense that any meaningful CoC will affirm some basic right...
looks like we can do `document.addEventListener('mozfullscreenchange', topify)` or something
that's on the content document, so we'd need to send a fullscreen signal to bootstrap, then re-topify from there
Looks like we'll have to add OS-level detection to retain topification when (1) some other mac application is fullscreened, _or_ (2) when the user switches Spaces (desktops).
Ah yeah, [this SO answer](https://stackoverflow.com/questions/15872873/detecting-full-screen-applications-on-mac) might have some useful snippets, too
I just bumped this bug to see if :robwu is planning to get it done for 57. If not, I can take it
Good catch. We probably should disable fullscreen mode for the mini player.
Bug isn't observed on mac or windows. Created a linux-only label for these kinds of bugs; probably they will be fairly low on the priority list, since the number of...