diff options
author | Florian Müllner <fmuellner@gnome.org> | 2018-10-01 16:24:22 +0200 |
---|---|---|
committer | Florian Müllner <florian.muellner@gmail.com> | 2018-11-13 18:12:59 +0000 |
commit | a4d09b426458af3e127d83685ed1cd7c88167725 (patch) | |
tree | 0444d9fa75ebc054760b0a42ad5d36d9ad2fd6ed | |
parent | 6f5a099184a1a5ecf558b36f2d00d2bfb074628e (diff) | |
download | gnome-shell-a4d09b426458af3e127d83685ed1cd7c88167725.tar.gz |
workspace: Remove dead code
https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/214
-rw-r--r-- | js/ui/workspace.js | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/js/ui/workspace.js b/js/ui/workspace.js index 5aa9ba66c..ddf343e77 100644 --- a/js/ui/workspace.js +++ b/js/ui/workspace.js @@ -466,7 +466,6 @@ var WindowOverlay = new Lang.Class({ windowClone.actor.label_actor = title; this._updateCaptionId = metaWindow.connect('notify::title', w => { - this.title.text = w.title; this.title.text = this._getCaption(); this.relayout(false); }); |