1. 08 May, 2019 1 commit
  2. 01 May, 2019 2 commits
  3. 23 Apr, 2019 1 commit
  4. 01 Apr, 2019 1 commit
  5. 26 Mar, 2019 2 commits
  6. 18 Mar, 2019 2 commits
  7. 04 Mar, 2019 1 commit
  8. 26 Feb, 2019 2 commits
    • Christian Persch's avatar
      app: Automatically determine if headerbars should be used · 62c807a7
      Christian Persch authored
      If the XDG_CURRENT_DESKTOP env var contains either GNOME or GNOME-Classic,
      use headerbars, unless the user has explicitly set the pref.
      
      NOTE! This makes it unnecessary for distributions to override the default
      value of the headerbar pref.
      62c807a7
    • Florian Müllner's avatar
      prefs: Hide default-menubar setting when headerbars are used · f4340fc8
      Florian Müllner authored
      As headerbars combine the functionality of titlebar, toolbar and
      menubar, they generally replace (not supplement) those elements.
      
      For that reasons, the default-show-menubar setting is ignored when
      headerbars are enabled. However despite not having any effect, the
      corresponding checkbox is still shown in the preferences. It doesn't
      make sense to expose non-working settings, so hide it when headerbars
      are used.
      
      #81
      f4340fc8
  9. 11 Dec, 2018 1 commit
  10. 10 Dec, 2018 13 commits
  11. 25 Nov, 2018 1 commit
  12. 12 Nov, 2018 1 commit
  13. 03 Nov, 2018 1 commit
  14. 02 Nov, 2018 2 commits
  15. 09 Oct, 2018 1 commit
  16. 05 Oct, 2018 1 commit
  17. 28 Sep, 2018 2 commits
  18. 11 Sep, 2018 1 commit
  19. 07 Sep, 2018 2 commits
  20. 24 Aug, 2018 1 commit
  21. 21 Aug, 2018 1 commit