From a4b55a980c0c05709651494621f0d642fd187949 Mon Sep 17 00:00:00 2001
From: David Capello <davidcapello@gmail.com>
Date: Wed, 24 Mar 2010 17:28:03 -0300
Subject: [PATCH] Applied jguiscale() to tooltips borders.

---
 src/jinete/jtooltips.cpp | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/jinete/jtooltips.cpp b/src/jinete/jtooltips.cpp
index f0f84d11c..44f14093c 100644
--- a/src/jinete/jtooltips.cpp
+++ b/src/jinete/jtooltips.cpp
@@ -302,9 +302,11 @@ bool TipWindow::msg_proc(JMessage msg)
       JRect pos = jwidget_get_rect(this);
       int oldt;
 
-      jdraw_rect(pos, makecol(0, 0, 0));
+      for (int i=0; i<jguiscale(); ++i) {
+	jdraw_rect(pos, makecol(0, 0, 0));
+	jrect_shrink(pos, 1);
+      }
 
-      jrect_shrink(pos, 1);
       jdraw_rectfill(pos, this->getBgColor());
 
       oldt = this->border_width.t;