From e64cc958cee8927be72e5db8a9320160990f3975 Mon Sep 17 00:00:00 2001
From: David Capello <davidcapello@gmail.com>
Date: Mon, 4 Jan 2016 17:50:21 -0300
Subject: [PATCH] Minor change/renames in Widget::flushRedraw()

---
 src/ui/widget.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/ui/widget.cpp b/src/ui/widget.cpp
index f5276aca9..3ebcea223 100644
--- a/src/ui/widget.cpp
+++ b/src/ui/widget.cpp
@@ -894,9 +894,9 @@ void Widget::flushRedraw()
     if (!widget->m_updateRegion.isEmpty()) {
       // Intersect m_updateRegion with drawable area.
       {
-        Region region;
-        widget->getDrawableRegion(region, kCutTopWindows);
-        widget->m_updateRegion.createIntersection(widget->m_updateRegion, region);
+        Region drawable;
+        widget->getDrawableRegion(drawable, kCutTopWindows);
+        widget->m_updateRegion &= drawable;
       }
 
       std::size_t c, nrects = widget->m_updateRegion.size();