diff --git a/src/Widgets/MultitaskingView/Tooltip.vala b/src/Widgets/MultitaskingView/Tooltip.vala index e8e0e4ac5..b74d791cb 100644 --- a/src/Widgets/MultitaskingView/Tooltip.vala +++ b/src/Widgets/MultitaskingView/Tooltip.vala @@ -8,11 +8,14 @@ * Clutter actor to display text in a tooltip-like component. */ public class Gala.Tooltip : Clutter.Actor { - /** - * Actor to display the Tooltip text. - */ + public float monitor_scale { get; construct set; } + private Gala.Text text_actor; + public Tooltip (float monitor_scale) { + Object (monitor_scale: monitor_scale); + } + construct { text_actor = new Gala.Text () { margin_left = 6, @@ -28,7 +31,9 @@ public class Gala.Tooltip : Clutter.Actor { layout_manager = new Clutter.BinLayout (); background_color = Drawing.Color.TOOLTIP_BACKGROUND; - add_effect (new RoundedCornersEffect (3, 1.0f)); + var rounded_corners_effect = new RoundedCornersEffect (3, monitor_scale); + bind_property ("monitor-scale", rounded_corners_effect, "monitor-scale"); + add_effect (rounded_corners_effect); } public void set_text (string new_text) { diff --git a/src/Widgets/MultitaskingView/WindowClone.vala b/src/Widgets/MultitaskingView/WindowClone.vala index fedc156c1..3aab288b0 100644 --- a/src/Widgets/MultitaskingView/WindowClone.vala +++ b/src/Widgets/MultitaskingView/WindowClone.vala @@ -135,7 +135,8 @@ public class Gala.WindowClone : ActorTarget, RootTarget { pivot_point = { 0.5f, 0.5f } }; - window_title = new Tooltip (); + window_title = new Tooltip (monitor_scale); + bind_property ("monitor-scale", window_title, "monitor-scale"); close_button = new Gala.CloseButton (monitor_scale) { opacity = 0