widget: Draw focus outline

2017-05-03 10:24:32 +02:00
parent 2b5458ccfa
commit 442d084a2a
1 changed files with 10 additions and 0 deletions
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -15415,6 +15415,16 @@ gtk_widget_snapshot (GtkWidget   *widget,
        gtk_snapshot_pop (snapshot);
    }

+  if (gtk_widget_has_visible_focus (widget))
+    {
+      gtk_snapshot_offset (snapshot, margin.left, margin.top);
+      gtk_css_style_snapshot_outline (style,
+                                      snapshot,
+                                      allocation.width - margin.left - margin.right,
+                                      allocation.height - margin.top - margin.bottom);
+      gtk_snapshot_offset (snapshot, - margin.left, - margin.top);
+    }
+
  gtk_css_filter_value_pop_snapshot (filter_value, snapshot);

  if (GTK_DEBUG_CHECK (SNAPSHOT))