Fix 1801220: Some Ubuntu Themes don't show the red border in animate edit mode. ...
authordooglus <dooglus@1f10aa63-cdf2-0310-b900-c93c546f37ac>
Tue, 25 Sep 2007 21:56:58 +0000 (21:56 +0000)
committerdooglus <dooglus@1f10aa63-cdf2-0310-b900-c93c546f37ac>
Tue, 25 Sep 2007 21:56:58 +0000 (21:56 +0000)
commit65fb935293f8601f3042482dddc35a21eaa46d87
tree09ba2af85884a5d70d23a9bb111e27ef96a1587c
parent2609f3f9572f7beaeaf35c2bd4b021b0d96fce1d
Fix 1801220: Some Ubuntu Themes don't show the red border in animate edit mode.  Draw the border by hand rather than relying on the Gtk theme to have left a pixel or two of background showing.

git-svn-id: http://svn.voria.com/code@758 1f10aa63-cdf2-0310-b900-c93c546f37ac
synfig-studio/trunk/src/gtkmm/workarea.cpp