Hacktoberfest 2026: le issue che i maintainer hanno segnato per ottobre, aperte e adatte ai principianti. Sfoglia le issue Hacktoberfest

Shortcut and gesture to force dock to show

Aperta
#617 1 commento 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
4/5
Tempo stimato
3-5 giorni
Idoneità per principianti
48/100
Tipo di issue
Funzionalità
Chiarezza
Abbastanza chiara
Stato di attività
Attiva
Ambito
desktop

Direzione di ricerca

Start by tracing the existing dock hide/show behavior, current keyboard shortcuts for dock items, and pointer handling at the bottom edge. Define how a shortcut and/or dwell gesture should override the configured hiding behavior, then verify that the dock reliably appears in each supported scenario.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

Needs Design Priority: Wishlist
Problem

When the dock hides due to being overlapped by a window it cannot be made to show (afaik) except by moving the window. It would be convenient for it to be possible to override any behaviour due to settings with a shortcut and/or gesture.

Proposal

For example Super + 0 could be used to expose the dock itself since other numbers are used to "expose" (launch) dock items.

Dwelling the pointer against the bottom edge should also force expose the dock after a certain time.

Prior Art (Optional)

No response

Lingua principale
Vala
Stelle
110
Fork
41
Merge medio
1h 4m
PR unite (30g)
1

Preparare l'ambiente

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di elementary/dock

Tutte le issue di elementary/dock

Issue simili

Altre issue su Desktop Dev

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.