diff options
| author | rbuj <[email protected]> | 2019-02-27 12:56:19 +0100 |
|---|---|---|
| committer | ZenWalker <[email protected]> | 2019-03-28 13:58:49 +0100 |
| commit | 83a915dc851f7d3385e0d38f57cc249e038dcd1d (patch) | |
| tree | 29883b0cecffbc1ffe94fc272669119ef164763a /src/ui/preview-widget.c | |
| parent | 6f57d80bac06c6654f02652bcde562783a62d97f (diff) | |
| download | marco-83a915dc851f7d3385e0d38f57cc249e038dcd1d.tar.bz2 marco-83a915dc851f7d3385e0d38f57cc249e038dcd1d.tar.xz | |
Improve performance by removing unused assignments
Diffstat (limited to 'src/ui/preview-widget.c')
| -rw-r--r-- | src/ui/preview-widget.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/ui/preview-widget.c b/src/ui/preview-widget.c index 6dc4691c..c1c3ad0b 100644 --- a/src/ui/preview-widget.c +++ b/src/ui/preview-widget.c @@ -233,8 +233,6 @@ meta_preview_draw (GtkWidget *widget, if (preview->theme) { - border_width = gtk_container_get_border_width (GTK_CONTAINER (widget)); - meta_theme_draw_frame (preview->theme, widget, cr, |