Carsten Allefeld

When I submitted this issue, I had only started with Atom and JavaScript, i.e. I was basically clueless. Now that i know more, I was able to pinpoint the problem....

Now for my own use, I can simply use this hack and "F4" does what I want it to do. For general use, the optimal thing would be that keyboard...

@the-j0k3r good to know that there is a maintained successor package that is based on `xterm.js`. But you haven't implemented keeping bound keys from the terminal either, have you? Or...

> You may have misunderstood me or I wasnt clear enough You definitely weren't clear enough. ;) Alright, but then what's the point of decaffeinating platformio-ide-terminal and then moving it...

The UEFI booting problem might have to do with the BIOS expecting a file ``` boot/bootx64.efi ``` in the EFI partition, but the OS does install something else. Debian e.g....

I support the addition of this new option `--embed-resources=[local|remote|all]`. For a defaults file, it would be `embed-resources: [none|local|remote|all]`, for backwards compatibility with `false` as an alias for `none` and `true`...

@cderv I tried again, and now it works. I can't reconstruct what the problem was that lead me to this Pandoc issue and my elaborate hack. I still think it...

I ran into this problem again while using Noto Sans & Mono in several weights in a Quarto document, from Google Fonts referenced using an `@import` rule in CSS. Without...

I would prefer to have a layout closer to how it looks in Word itself, and to have the option to have the standard colors (black on white) even when...

`o` instead of `*` would be fine, too. I didn't think of `~` for the horizontal, makes sense, but what about the vertical? I wasn't aware of intermediate heads. Please...