Labels

• animation-change

  animation-change

  Regression caused by changes to animation

• backport

  backport

  Port a feature or fix to a previous GNOME Shell version

• bug

  bug

  Undesirable behavior

• can't reproduce

  can't reproduce

  Issue doesn't happen on our end

• crash

  crash

  Can crash GNOME Shell

• documentation

  documentation

  Missing or inaccurate docs/onboarding

• duplicate

  duplicate

  This issue or PR already exists

• enhancement

  enhancement

  Adds a new feature or extends scope

• extension-compatibility

  extension-compatibility

  Improvements to integration with other extensions

• extension-conflict

  extension-conflict

  Issues caused by interaction with other extensions

• fedora

  fedora

  Issue occurs with Fedora's modified GNOME

• fixed-in-more-recent-version

  fixed-in-more-recent-version

  Issue described has been fixed in a more recent version of PaperWM

• gnome-3.38

  gnome-3.38

  Specific to GNOME Shell 3.38 (or older)

• gnome-40

  gnome-40

  Specific to GNOME Shell 40 or 41

• gnome-42

  gnome-42

  Specific to GNOME Shell 42

• gnome-43

  gnome-43

  Specific to GNOME Shell 43

• gnome-44

  gnome-44

  Specific to GNOME Shell 44

• gnome-45

  gnome-45

  Specific to GNOME Shell 45

• gnome-46

  gnome-46

  Specific to GNOME Shell 46

• gnome-47

  gnome-47

  Specific to GNOME Shell 47

• gnome-48

  gnome-48

  Specific to GNOME Shell 48

• gnome-49

  gnome-49

  Specific to GNOME Shell 49

• gnome-50

  gnome-50

  Specific to GNOME Shell 50

• gnome-option

  gnome-option

  Related to a GNOME Shell option

• gnome-overview

  gnome-overview

  Related to manipulating the GNOME Shell Overview

• good first issue

  good first issue

  First-time contributors welcome

• help wanted

  help wanted

  Don't hesitate to participate!

• invalid

  invalid

  Issue or PR is unusable as-is.

• keybind-conflict

  keybind-conflict

  Default keybinds already used by GNOME or another extension

• merging soon

  merging soon

  Label for PRs that are planned to be merged soon (usually within the next week)