diff options
author | Frederik Rietdijk <freddyrietdijk@fridh.nl> | 2017-06-28 13:54:38 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-06-28 13:54:38 +0200 |
commit | 8a62a9b064ed52da5ab2fd9520cdd218ce4445cb (patch) | |
tree | 3091c1b3830ba15792487a68db57d05a9fa6b715 /pkgs/desktops | |
parent | a6cf6367e2abd9610da804286cc6c439d79717db (diff) | |
parent | b7ccf27229d9479e5cea2f2d2c2b06477d9e3049 (diff) |
Merge pull request #26125 from volth/webkitgtk-naming
rename webkitgtk24x⇒webkitgtk24x-gtk3; webkitgtk2⇒webkitgtk24x-gtk2
Diffstat (limited to 'pkgs/desktops')
-rw-r--r-- | pkgs/desktops/gnome-3/3.22/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/desktops/gnome-3/3.22/default.nix b/pkgs/desktops/gnome-3/3.22/default.nix index b1293cb47ba90..12a9ae0b5afe2 100644 --- a/pkgs/desktops/gnome-3/3.22/default.nix +++ b/pkgs/desktops/gnome-3/3.22/default.nix @@ -76,7 +76,7 @@ let dconf-editor = callPackage ./core/dconf-editor { }; # empathy = callPackage ./core/empathy { - # webkitgtk = webkitgtk24x; + # webkitgtk = webkitgtk24x-gtk3; # clutter-gst = pkgs.clutter-gst; # }; @@ -257,7 +257,7 @@ let bijiben = callPackage ./apps/bijiben { # https://bugzilla.gnome.org/show_bug.cgi?id=728293 - webkitgtk = pkgs.webkitgtk24x; + webkitgtk = pkgs.webkitgtk24x-gtk3; }; cheese = callPackage ./apps/cheese { }; @@ -363,7 +363,7 @@ let geary = callPackage ./misc/geary { # https://bugzilla.gnome.org/show_bug.cgi?id=728002 - webkitgtk = pkgs.webkitgtk24x; + webkitgtk = pkgs.webkitgtk24x-gtk3; }; gfbgraph = callPackage ./misc/gfbgraph { }; |