linuxmint / linuxmint/cinnamon

Panel-hiding meta-bug: failures to hide; failures to unhide; other

Open
#12,289 2 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

BUG
Dominant language
JavaScript
Stars
5.6k
Forks
915
Avg merge
5d 22h
Merged PRs (30d)
3

Description

Distribution

Mint 21.3, and some earlier versions

Package version

Various. 6.0.4 has at least some of the problems

Graphics hardware in use

Various

Frequency

Always

Bug description

False negative behaviour, i.e., the panel does not hide when it should hide

#9251
#9958
#11087
#11611

False positive behaviour, i.e., the panel hides when the panel should not hide

#8570
#11803

Other

#9930 (icon stretching with auto-hide)
#12111 (a problem with the auto-hide menu)

Steps to reproduce

Various. Please see the several reports.

Expected behavior

One expects such bread-and-butter stuff - for such is at issue with at least most of the bug reports - to work.

Additional information

All of the aforecited bug reports are open. Some have been labelled 'bugs' by the Mint team.

The oldest of the bug reports is five years old.

Fixing this stuff would be a considerable 'quality of life' improvement to Mint.

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

Review the referenced reports #9251, #9958, #11087, #11611, #8570, #11803, #9930, and #12111, beginning with their reproduction steps and current status. Compare the false-negative, false-positive, icon-stretching, and auto-hide-menu behaviours; done means the reported panel-hiding cases work consistently across the affected configurations.

Written by the indexing model from the issue text.

Assessment

Tech stack
javascript
Domain
desktop
Issue type
Bug
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.