Nicolai Søborg
Nicolai Søborg
Try creating a file called `tsconfig.json` in the project root directory and add this content: ```json { "compilerOptions": { "skipLibCheck": true } } ```
I get the same error. I think it is due to this change added in `pygdbmi==0.9.0.0`: "Stop buffering output" (and/or due to the bug being fixed here: https://github.com/cs01/pygdbmi/pull/49). I solved...
Creating a file navigation sidebar as an (optional) plugin is on its way: https://github.com/NicolaiSoeborg/filetree-plugin (https://github.com/micro-editor/filetree-plugin/pull/2) 
I can't see any obvious way to do it, in the current code base. You can see all `onAction()`'s here: https://github.com/zyedidia/micro/blob/master/cmd/micro/actions.go
Also note that you can use `options => 'sticky=3600'` to keep the alert for 1 hour.
On my system I had gdb 8.x, but it was not compiled with python support. Fixed it by running `sudo apt install gdb` (no idea why I had a _bad_...
My use-case is just to easily see the SNI :) True that keeping the (encrypted) request in mem might be a bit of a waste - I could look into...
Could be that it worked because your ssh-agent had an old key cached until you rebooted?
> what does the coordinates of rect in coords="10,10,30,10" mean? For `rect` it is `x1,y1,x2,y2` and then a rectangle will drawn between (x1, y1) and (x2, y2). From the spec:...
Remove the quotes (`"`, `"`) in `~/.gdbinit`