Micro: Tab Bar and Other Minor Improvements

[GeigerCounter]

This is a set of small suggestions!

• Mousewheel Scrollable Tab List. ( When the mouse is over the tab bar, you can scroll the mousewheel up to scroll the tab bar left and down to scroll the tab bar right. )
• Only show the filename in the tablist, not the full path. ( It takes up a lot of space in the tab bar and is redundant thanks to the status bar. )
• Replace the + symbol with < and > as appropriate to show that there are more tabs than fit onscreen.
• A one line margin below the tab bar. ( I've accidentally clicked on text when I meant to click on a tab. )
• A title bar that can be toggled and is stylable in the line above the tab bar. ( > set titlebar on|off ) The title bar would read "μ micro v.{version #}" It's such a small thing but I'd like it.

These are largely aesthetic changes and not a big priority, but it'd be cool.

Currently using:
Commit hash: 7b03f5b

[DanielPower]

Mousewheel Scrollable Tab List. ( When the mouse is over the tab bar, you can scroll the mousewheel up to scroll the tab bar left and down to scroll the tab bar right. )

I guess this would be nice for people who are used to it from other editors.

Only show the filename in the tablist, not the full path. ( It takes up a lot of space in the tab bar and is redundant thanks to the status bar. )

Yes, this would be great. There is limited space in the tab bar, and I think it should only show the file name.

A one line margin below the tab bar. ( I've accidentally clicked on text when I meant to click on a tab.)

I totally disagree. You'll get used to the current design with a bit of time. Micro is a CLI text editor, and in the command line, space is precious. We only get 40 lines of height (in a standard size terminal, you get more when you resize of course), there's no need to waste one drawing an empty line.

A title bar that can be toggled and is stylable in the line above the tab bar. ( > set titlebar on|off ) The title bar would read "μ micro v.{version #}" It's such a small thing but I'd like it.

Again, I don't really think this is in the scope of Micro's design.

[onodera-punpun]

Yeah I think you should make more granular issues IMO. I think the first three points are great improvements, but I think the last two totally different things and don't actually want them in micro, especially not a title bar, that's the job of a window manager or something like tmux.

[GeigerCounter]

@onodera-punpun I can see your point there with the window title. As is, micro does not actually report to the terminal to tell it to change the title, maybe that should be the change instead? In fact, I've already been looking into that and it might be simple enough that I could do and pull request it in.

Also, @DanielPower The margin and the title bar would be toggleable and off by default for that reason. As it happens, I happen to have rather large vterms and can spare the space. Though most of these suggestions are really small and not necessary so any of them could or could not make it in and it'd be fine. Apologies for not making the issue more granular, I just didn't want to open five issues for changes that are as small as these. I'm also sort of new to being active on Github. Thanks for the advice.