micro
micro copied to clipboard
UI Tweaks
A bunch of UI Tweaks and additions.
These look like nice additions but you need to document the new options (and other changes) in the help files.
@zyedidia Yeah, alright. That's a good point. Also, do you think you can take a look at getting the scrolling tab bar working?
@zyedidia I added the documentation as requested.
A bit of nitpicking, but your comments look like //This
, but all other comments look like // This
.
@onodera-punpun Huh. I guess I wasn't thinking about it. If I encounter any comments like that, I'll fix them, but I'm not going to go through and look for them specifically right now.
Should I change the right-click to a middle-click for closing tabs quickly?
In my opinion you should, it's what firefox and pretty much any other GUI program with tabs uses.
what is the status of this PR?