micro-editor / micro-editor/micro

Tab Bar and Other Minor Improvements

Open
#557 3 comments 0 reactions 0 assignees View on GitHub

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

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. 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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.