equal
deleted
inserted
replaced
26 from time import time as gettime |
26 from time import time as gettime |
27 import numpy |
27 import numpy |
28 |
28 |
29 import wx |
29 import wx |
30 |
30 |
31 from graphics import DebugViewer, REFRESH_PERIOD, ToolTip, TOOLTIP_WAIT_PERIOD |
31 from controls.CustomToolTip import CustomToolTip, TOOLTIP_WAIT_PERIOD |
|
32 from graphics import DebugViewer, REFRESH_PERIOD |
32 from targets.typemapping import LogLevelsCount, LogLevels |
33 from targets.typemapping import LogLevelsCount, LogLevels |
33 from util.BitmapLibrary import GetBitmap |
34 from util.BitmapLibrary import GetBitmap |
34 |
35 |
35 THUMB_SIZE_RATIO = 1. / 8. |
36 THUMB_SIZE_RATIO = 1. / 8. |
36 |
37 |
697 message = self.GetMessageByScreenPos(*self.LastMousePos) |
698 message = self.GetMessageByScreenPos(*self.LastMousePos) |
698 if message is not None: |
699 if message is not None: |
699 tooltip_pos = self.MessagePanel.ClientToScreen(self.LastMousePos) |
700 tooltip_pos = self.MessagePanel.ClientToScreen(self.LastMousePos) |
700 tooltip_pos.x += 10 |
701 tooltip_pos.x += 10 |
701 tooltip_pos.y += 10 |
702 tooltip_pos.y += 10 |
702 self.MessageToolTip = ToolTip(self.MessagePanel, message.GetFullText(), False) |
703 self.MessageToolTip = CustomToolTip(self.MessagePanel, message.GetFullText(), False) |
703 self.MessageToolTip.SetFont(self.Font) |
704 self.MessageToolTip.SetFont(self.Font) |
704 self.MessageToolTip.MoveToolTip(tooltip_pos) |
705 self.MessageToolTip.MoveToolTip(tooltip_pos) |
705 self.MessageToolTip.Show() |
706 self.MessageToolTip.Show() |
706 event.Skip() |
707 event.Skip() |
707 |
708 |