Skip to content
Snippets Groups Projects
Select Git revision
  • main default
  • 2025Q1
  • 2024Q1
  • 2024Q4
  • 2024Q3
  • 2024Q2
  • 2023Q4
  • 2023Q3
  • 2023Q2
  • 2023Q1
  • 2022Q4
  • 2022Q3
  • 2022Q2
  • 2022Q1
  • 2021Q4
  • 2021Q3
  • 2021Q2
  • 2021Q1
  • 2020Q4
  • 2020Q3
  • release/13.5.0
  • 13.3-eol
  • release/14.2.0
  • 14.0-eol
  • release/13.4.0
  • release/14.1.0
  • release/13.3.0
  • 12-eol
  • 12.4-eol
  • release/14.0.0
  • 13.1-eol-q
  • 13.1-eol
  • 12.3-last
  • 12.3-eol
  • release/13.2.0
  • release/12.4.0
  • release/13.1.0
  • release/12.3.0
  • 11-eol
  • release/13.0.0
40 results

gsettings-desktop-schemas

  • Clone with SSH
  • Clone with HTTPS
    • Baptiste Daroussin's avatar
    devel/gsettings-desktop-schemas: fix gnome-shell
    baptiste daroussin authored 
    add a toggle-shaded entry to org.gnome.desktop.wm.keybindings schema,
as we are still having an old gnome-shell we need to readd this entry

PR:		285366
Reported by:	Henri Hennebert <hlh@restart.be>
    94148139
    History
    Baptiste Daroussin's avatar 94148139
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    Name Last commit Last update
    ..
    files
    Makefile
    distinfo
    pkg-descr
    pkg-plist