Create option to hide command log header

Open Beginner friendly
#2,138 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

Difficulty
2/5
Estimated time
1-3 hours
Newbie friendliness
65/100
Issue type
Feature
Clarity
Clearly specified
Activity status
Stale
Tech stack
git, go
Domain
cli

Research direction

Start in pkg/gui/layout.go at the command log header rendering conditional mentioned in the issue, then trace the existing GUI configuration options to see how a new setting is exposed. Add the showCommandLogHeader option so the command log remains visible while its header text can be hidden when set to false. Verify that the existing showCommandLog behavior is unchanged.

Written by the indexing model from the issue text.

Description

enhancement

Is your feature request related to a problem? Please describe.
I'd like to keep the command log visible in the panes but I don't need to see the header text all the time as I know how to hide/focus the panel.

┌─Command Log──────────────────────────────────
│You can hide/focus this panel by pressing '@'
│

Describe the solution you'd like
It'd be nice to have a config option to hide the header text.

Proposed option name:

gui:
  showCommandLogHeader: false

(Somewhere here needs a config conditional.)

Describe alternatives you've considered

gui.showCommandLog: false hides the whole command log which I don't prefer. There needs to be a new option just to remove that sticky header.

Dominant language
Go
Stars
82.5k
Forks
3k
Avg merge
1d 14h
Merged PRs (30d)
22

Contributor guide

Open the contributing guide

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.

More from jesseduffield/lazygit

All issues in jesseduffield/lazygit

Similar issues

More Go issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.