micro-editor / micro-editor/micro
Tab Bar and Other Minor Improvements
Open
Nobody has claimed this yet.
feature
- Dominant language
- Go
- Stars
- 29.6k
- Forks
- 1.4k
- Avg merge
- 2d 18h
- Merged PRs (30d)
- 10
Description
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
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
The issue bundles five tab-bar and title-bar improvements without naming files or tests. Start by locating the tab-bar and title-bar entry points in the repository, then decide whether the suggestions should be split into separate changes. Done means the selected behavior is implemented and verified across the affected terminal UI interactions.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- go
- Domain
- cli, design
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 30/100