1

#!/usr/bin/env python

     2

# -*- coding: utf-8 -*-

     3

     4

#This file is part of PLCOpenEditor, a library implementing an IEC 61131-3 editor

     5

#based on the plcopen standard. 

     6

#

     7

#Copyright (C) 2013: Edouard TISSERANT and Laurent BESSARD

     8

#

     9

#See COPYING file for copyrights details.

    10

#

    11

#This library is free software; you can redistribute it and/or

    12

#modify it under the terms of the GNU General Public

    13

#License as published by the Free Software Foundation; either

    14

#version 2.1 of the License, or (at your option) any later version.

    15

#

    16

#This library is distributed in the hope that it will be useful,

    17

#but WITHOUT ANY WARRANTY; without even the implied warranty of

    18

#MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU

    19

#General Public License for more details.

    20

#

    21

#You should have received a copy of the GNU General Public

    22

#License along with this library; if not, write to the Free Software

    23

#Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA

    24

    25

from datetime import datetime

    26

from time import time as gettime

    27

import numpy

    28

    29

import wx

    30

    31

from graphics import DebugViewer, REFRESH_PERIOD, ToolTip, TOOLTIP_WAIT_PERIOD

    32

from targets.typemapping import LogLevelsCount, LogLevels

    33

from util.BitmapLibrary import GetBitmap

    34

    35

THUMB_SIZE_RATIO = 1. / 8.

    36

    37

def ArrowPoints(direction, width, height, xoffset, yoffset):

    38

    if direction == wx.TOP:

    39

        return [wx.Point(xoffset + 1, yoffset + height - 2),

    40

                wx.Point(xoffset + width / 2, yoffset + 1),

    41

                wx.Point(xoffset + width - 1, yoffset + height - 2)]

    42

    else:

    43

        return [wx.Point(xoffset + 1, yoffset - height + 1),

    44

                wx.Point(xoffset + width / 2, yoffset - 2),

    45

                wx.Point(xoffset + width - 1, yoffset - height + 1)]

    46

    47

class LogScrollBar(wx.Panel):

    48

    49

    def __init__(self, parent, size):

    50

        wx.Panel.__init__(self, parent, size=size)

    51

        self.Bind(wx.EVT_LEFT_DOWN, self.OnLeftDown)

    52

        self.Bind(wx.EVT_LEFT_UP, self.OnLeftUp)

    53

        self.Bind(wx.EVT_MOTION, self.OnMotion)

    54

        self.Bind(wx.EVT_ERASE_BACKGROUND, self.OnEraseBackground)

    55

        self.Bind(wx.EVT_PAINT, self.OnPaint)

    56

        self.Bind(wx.EVT_SIZE, self.OnResize)

    57

    58

        self.ThumbPosition = 0. # -1 <= ThumbPosition <= 1

    59

        self.ThumbScrollingStartPos = None

    60

    61

    def GetRangeRect(self):

    62

        width, height = self.GetClientSize()

    63

        return wx.Rect(0, width, width, height - 2 * width)

    64

    65

    def GetThumbRect(self):

    66

        width, height = self.GetClientSize()

    67

        range_rect = self.GetRangeRect()

    68

        thumb_size = range_rect.height * THUMB_SIZE_RATIO

    69

        thumb_range = range_rect.height - thumb_size

    70

        thumb_center_position = (thumb_size + (self.ThumbPosition + 1) * thumb_range) / 2.

    71

        thumb_start = int(thumb_center_position - thumb_size / 2.)

    72

        thumb_end = int(thumb_center_position + thumb_size / 2.)

    73

        return wx.Rect(0, range_rect.y + thumb_start, width, thumb_end - thumb_start)

    74

    75

    def RefreshThumbPosition(self, thumb_position=None):

    76

        if thumb_position is None:

    77

            thumb_position = self.ThumbPosition

    78

        if self.Parent.IsMessagePanelTop():

    79

            thumb_position = max(0., thumb_position)

    80

        if self.Parent.IsMessagePanelBottom():

    81

            thumb_position = min(0., thumb_position)

    82

        if thumb_position != self.ThumbPosition:

    83

            self.ThumbPosition = thumb_position

    84

            self.Parent.SetScrollSpeed(self.ThumbPosition)

    85

        self.Refresh()

    86

    87

    def OnLeftDown(self, event):

    88

        self.CaptureMouse()

    89

        posx, posy = event.GetPosition()

    90

        width, height = self.GetClientSize()

    91

        range_rect = self.GetRangeRect()

    92

        thumb_rect = self.GetThumbRect()

    93

        if range_rect.InsideXY(posx, posy):

    94

            if thumb_rect.InsideXY(posx, posy):

    95

                self.ThumbScrollingStartPos = wx.Point(posx, posy)

    96

            elif posy < thumb_rect.y:

    97

                self.Parent.ScrollToLast()

    98

            elif posy > thumb_rect.y + thumb_rect.height:

    99

                self.Parent.ScrollToFirst()

   100

        elif posy < width:

   101

            self.Parent.ScrollMessagePanelByPage(1)

   102

        elif posy > height - width:

   103

            self.Parent.ScrollMessagePanelByPage(-1)

   104

        event.Skip()

   105

   106

    def OnLeftUp(self, event):

   107

        self.ThumbScrollingStartPos = None

   108

        self.RefreshThumbPosition(0.)

   109

        if self.HasCapture():

   110

            self.ReleaseMouse()

   111

        event.Skip()

   112

   113

    def OnMotion(self, event):

   114

        if event.Dragging() and self.ThumbScrollingStartPos is not None:

   115

            posx, posy = event.GetPosition()

   116

            width, height = self.GetClientSize()

   117

            range_rect = self.GetRangeRect()

   118

            thumb_size = range_rect.height * THUMB_SIZE_RATIO

   119

            thumb_range = range_rect.height - thumb_size

   120

            self.RefreshThumbPosition(

   121

                max(-1., min((posy - self.ThumbScrollingStartPos.y) * 2. / thumb_range, 1.)))

   122

        event.Skip()

   123

   124

    def OnResize(self, event):

   125

        self.Refresh()

   126

        event.Skip()

   127

   128

    def OnEraseBackground(self, event):

   129

        pass

   130

   131

    def OnPaint(self, event):

   132

        dc = wx.BufferedPaintDC(self)

   133

        dc.Clear()

   134

        dc.BeginDrawing()

   135

   136

        gc = wx.GCDC(dc)

   137

   138

        width, height = self.GetClientSize()

   139

   140

        gc.SetPen(wx.Pen(wx.NamedColour("GREY"), 3))

   141

        gc.SetBrush(wx.GREY_BRUSH)

   142

   143

        gc.DrawLines(ArrowPoints(wx.TOP, width * 0.75, width * 0.5, 2, (width + height) / 4 - 3))

   144

        gc.DrawLines(ArrowPoints(wx.TOP, width * 0.75, width * 0.5, 2, (width + height) / 4 + 3))

   145

   146

        gc.DrawLines(ArrowPoints(wx.BOTTOM, width * 0.75, width * 0.5, 2, (height * 3 - width) / 4 + 3))

   147

        gc.DrawLines(ArrowPoints(wx.BOTTOM, width * 0.75, width * 0.5, 2, (height * 3 - width) / 4 - 3))

   148

   149

        thumb_rect = self.GetThumbRect()

   150

        exclusion_rect = wx.Rect(thumb_rect.x, thumb_rect.y,

   151

                                 thumb_rect.width, thumb_rect.height)

   152

        if self.Parent.IsMessagePanelTop():

   153

            exclusion_rect.y, exclusion_rect.height = width, exclusion_rect.y + exclusion_rect.height - width

   154

        if self.Parent.IsMessagePanelBottom():

   155

            exclusion_rect.height = height - width - exclusion_rect.y

   156

        if exclusion_rect != thumb_rect:

   157

            colour = wx.NamedColour("LIGHT GREY")

   158

            gc.SetPen(wx.Pen(colour))

   159

            gc.SetBrush(wx.Brush(colour))

   160

   161

            gc.DrawRectangle(exclusion_rect.x, exclusion_rect.y, 

   162

                             exclusion_rect.width, exclusion_rect.height)

   163

   164

        gc.SetPen(wx.GREY_PEN)

   165

        gc.SetBrush(wx.GREY_BRUSH)

   166

   167

        gc.DrawPolygon(ArrowPoints(wx.TOP, width, width, 0, 0))

   168

   169

        gc.DrawPolygon(ArrowPoints(wx.BOTTOM, width, width, 0, height))

   170

   171

        gc.DrawRectangle(thumb_rect.x, thumb_rect.y, 

   172

                         thumb_rect.width, thumb_rect.height)

   173

   174

        dc.EndDrawing()

   175

        event.Skip()

   176

   177

BUTTON_SIZE = (30, 15)

   178

   179

class LogButton():

   180

   181

    def __init__(self, label, callback):

   182

        self.Position = wx.Point(0, 0)

   183

        self.Size = wx.Size(*BUTTON_SIZE)

   184

        self.Label = label

   185

        self.Shown = True

   186

        self.Callback = callback

   187

   188

    def __del__(self):

   189

        self.callback = None

   190

   191

    def GetSize(self):

   192

        return self.Size

   193

   194

    def SetPosition(self, x, y):

   195

        self.Position = wx.Point(x, y)

   196

   197

    def HitTest(self, x, y):

   198

        rect = wx.Rect(self.Position.x, self.Position.y, 

   199

                       self.Size.width, self.Size.height)

   200

        if rect.InsideXY(x, y):

   201

            return True

   202

        return False

   203

   204

    def ProcessCallback(self):

   205

        if self.Callback is not None:

   206

            wx.CallAfter(self.Callback)

   207

   208

    def Draw(self, dc):

   209

        dc.SetPen(wx.TRANSPARENT_PEN)

   210

        dc.SetBrush(wx.Brush(wx.NamedColour("LIGHT GREY")))

   211

   212

        dc.DrawRectangle(self.Position.x, self.Position.y, 

   213

                         self.Size.width, self.Size.height)

   214

   215

        w, h = dc.GetTextExtent(self.Label)

   216

        dc.DrawText(self.Label, 

   217

            self.Position.x + (self.Size.width - w) / 2, 

   218

            self.Position.y + (self.Size.height - h) / 2)

   219

   220

DATE_INFO_SIZE = 10

   221

MESSAGE_INFO_SIZE = 18

   222

   223

class LogMessage:

   224

   225

    def __init__(self, tv_sec, tv_nsec, level, level_bitmap, msg):

   226

        self.Date = datetime.fromtimestamp(tv_sec)

   227

        self.Seconds = self.Date.second + tv_nsec * 1e-9

   228

        self.Date = self.Date.replace(second=0)

   229

        self.Timestamp = tv_sec + tv_nsec * 1e-9

   230

        self.Level = level

   231

        self.LevelBitmap = level_bitmap

   232

        self.Message = msg

   233

        self.DrawDate = True

   234

   235

    def __cmp__(self, other):

   236

        if self.Date == other.Date:

   237

            return cmp(self.Seconds, other.Seconds)

   238

        return cmp(self.Date, other.Date)

   239

   240

    def GetFullText(self):

   241

        date = self.Date.replace(second=int(self.Seconds))

   242

        nsec = (self.Seconds % 1.) * 1e9

   243

        return "%s at %s.%9.9d:\n%s" % (

   244

            LogLevels[self.Level],

   245

            str(date), nsec,

   246

            self.Message)

   247

   248

    def Draw(self, dc, offset, width, draw_date):

   249

        if draw_date:

   250

            datetime_text = self.Date.strftime("%d/%m/%y %H:%M")

   251

            dw, dh = dc.GetTextExtent(datetime_text)

   252

            dc.DrawText(datetime_text, (width - dw) / 2, offset + (DATE_INFO_SIZE - dh) / 2)

   253

            offset += DATE_INFO_SIZE

   254

   255

        seconds_text = "%12.9f" % self.Seconds

   256

        sw, sh = dc.GetTextExtent(seconds_text)

   257

        dc.DrawText(seconds_text, 5, offset + (MESSAGE_INFO_SIZE - sh) / 2)

   258

   259

        bw, bh = self.LevelBitmap.GetWidth(), self.LevelBitmap.GetHeight()

   260

        dc.DrawBitmap(self.LevelBitmap, 10 + sw, offset + (MESSAGE_INFO_SIZE - bh) / 2)

   261

   262

        text = self.Message.replace("\n", " ")

   263

        mw, mh = dc.GetTextExtent(text)

   264

        dc.DrawText(text, 15 + sw + bw, offset + (MESSAGE_INFO_SIZE - mh) / 2)

   265

   266

    def GetHeight(self, draw_date):

   267

        if draw_date:

   268

            return DATE_INFO_SIZE + MESSAGE_INFO_SIZE

   269

        return MESSAGE_INFO_SIZE

   270

   271

SECOND = 1

   272

MINUTE = 60 * SECOND

   273

HOUR = 60 * MINUTE

   274

DAY = 24 * HOUR

   275

   276

CHANGE_TIMESTAMP_BUTTONS = [(_("1d"), DAY),

   277

                            (_("1h"), HOUR),

   278

                            (_("1m"), MINUTE),

   279

                            (_("1s"), SECOND)]

   280

   281

class LogViewer(DebugViewer, wx.Panel):

   282

   283

    def __init__(self, parent, window):

   284

        wx.Panel.__init__(self, parent, style=wx.TAB_TRAVERSAL|wx.SUNKEN_BORDER)

   285

        DebugViewer.__init__(self, None, False, False)

   286

   287

        main_sizer = wx.FlexGridSizer(cols=1, hgap=0, rows=2, vgap=5)

   288

        main_sizer.AddGrowableCol(0)

   289

        main_sizer.AddGrowableRow(1)

   290

   291

        filter_sizer = wx.BoxSizer(wx.HORIZONTAL)

   292

        main_sizer.AddSizer(filter_sizer, border=5, flag=wx.TOP|wx.LEFT|wx.RIGHT|wx.GROW)

   293

   294

        self.MessageFilter = wx.ComboBox(self, style=wx.CB_READONLY)

   295

        self.MessageFilter.Append(_("All"))

   296

        levels = LogLevels[:3]

   297

        levels.reverse()

   298

        for level in levels:

   299

            self.MessageFilter.Append(_(level))

   300

        self.Bind(wx.EVT_COMBOBOX, self.OnMessageFilterChanged, self.MessageFilter)

   301

        filter_sizer.AddWindow(self.MessageFilter, 1, border=5, flag=wx.RIGHT|wx.GROW)

   302

   303

        self.SearchMessage = wx.SearchCtrl(self, style=wx.TE_PROCESS_ENTER)

   304

        self.SearchMessage.ShowSearchButton(True)

   305

        self.SearchMessage.ShowCancelButton(True)

   306

        self.Bind(wx.EVT_TEXT_ENTER, self.OnSearchMessageChanged, self.SearchMessage)

   307

        self.Bind(wx.EVT_SEARCHCTRL_SEARCH_BTN, 

   308

              self.OnSearchMessageSearchButtonClick, self.SearchMessage)

   309

        self.Bind(wx.EVT_SEARCHCTRL_CANCEL_BTN, 

   310

              self.OnSearchMessageCancelButtonClick, self.SearchMessage)

   311

        filter_sizer.AddWindow(self.SearchMessage, 3, flag=wx.GROW)

   312

   313

        message_panel_sizer = wx.FlexGridSizer(cols=2, hgap=0, rows=1, vgap=0)

   314

        message_panel_sizer.AddGrowableCol(0)

   315

        message_panel_sizer.AddGrowableRow(0)

   316

        main_sizer.AddSizer(message_panel_sizer, border=5, flag=wx.LEFT|wx.RIGHT|wx.BOTTOM|wx.GROW)

   317

   318

        self.MessagePanel = wx.Panel(self)

   319

        if wx.Platform == '__WXMSW__':

   320

            self.Font = wx.Font(8, wx.SWISS, wx.NORMAL, wx.NORMAL, faceName='Courier New')

   321

        else:

   322

            self.Font = wx.Font(10, wx.SWISS, wx.NORMAL, wx.NORMAL, faceName='Courier')

   323

        self.MessagePanel.Bind(wx.EVT_LEFT_UP, self.OnMessagePanelLeftUp)

   324

        self.MessagePanel.Bind(wx.EVT_RIGHT_UP, self.OnMessagePanelRightUp)

   325

        self.MessagePanel.Bind(wx.EVT_LEFT_DCLICK, self.OnMessagePanelLeftDCLick)

   326

        self.MessagePanel.Bind(wx.EVT_MOTION, self.OnMessagePanelMotion)

   327

        self.MessagePanel.Bind(wx.EVT_LEAVE_WINDOW, self.OnMessagePanelLeaveWindow)

   328

        self.MessagePanel.Bind(wx.EVT_MOUSEWHEEL, self.OnMessagePanelMouseWheel)

   329

        self.MessagePanel.Bind(wx.EVT_ERASE_BACKGROUND, self.OnMessagePanelEraseBackground)

   330

        self.MessagePanel.Bind(wx.EVT_PAINT, self.OnMessagePanelPaint)

   331

        self.MessagePanel.Bind(wx.EVT_SIZE, self.OnMessagePanelResize)

   332

        message_panel_sizer.AddWindow(self.MessagePanel, flag=wx.GROW)

   333

   334

        self.MessageScrollBar = LogScrollBar(self, wx.Size(16, -1))

   335

        message_panel_sizer.AddWindow(self.MessageScrollBar, flag=wx.GROW)

   336

   337

        self.SetSizer(main_sizer)

   338

   339

        self.LeftButtons = []

   340

        for label, callback in [("+" + text, self.GenerateOnDurationButton(duration)) 

   341

                                for text, duration in CHANGE_TIMESTAMP_BUTTONS]:

   342

            self.LeftButtons.append(LogButton(label, callback))

   343

   344

        self.RightButtons = []

   345

        for label, callback in [("-" + text, self.GenerateOnDurationButton(-duration)) 

   346

                                for text, duration in CHANGE_TIMESTAMP_BUTTONS]:

   347

            self.RightButtons.append(LogButton(label, callback))

   348

   349

        self.MessageFilter.SetSelection(0)

   350

        self.LogSource = None

   351

        self.ResetLogMessages()

   352

        self.ParentWindow = window

   353

   354

        self.LevelIcons = [GetBitmap("LOG_" + level) for level in LogLevels]

   355

        self.LevelFilters = [range(i) for i in xrange(4, 0, -1)]

   356

        self.CurrentFilter = self.LevelFilters[0]

   357

        self.CurrentSearchValue = ""

   358

   359

        self.ScrollSpeed = 0.

   360

        self.LastStartTime = None

   361

        self.ScrollTimer = wx.Timer(self, -1)

   362

        self.Bind(wx.EVT_TIMER, self.OnScrollTimer, self.ScrollTimer)

   363

   364

        self.LastMousePos = None

   365

        self.MessageToolTip = None

   366

        self.MessageToolTipTimer = wx.Timer(self, -1)

   367

        self.Bind(wx.EVT_TIMER, self.OnMessageToolTipTimer, self.MessageToolTipTimer)

   368

   369

    def __del__(self):

   370

        self.ScrollTimer.Stop()

   371

   372

    def ResetLogMessages(self):

   373

        self.previous_log_count = [None]*LogLevelsCount

   374

        self.OldestMessages = []

   375

        self.LogMessages = []

   376

        self.LogMessagesTimestamp = numpy.array([])

   377

        self.CurrentMessage = None

   378

        self.HasNewData = False

   379

   380

    def SetLogSource(self, log_source):

   381

        self.LogSource = log_source

   382

        if log_source is not None:

   383

            self.ResetLogMessages()

   384

            self.RefreshView()

   385

   386

    def GetLogMessageFromSource(self, msgidx, level):

   387

        if self.LogSource is not None:

   388

            answer = self.LogSource.GetLogMessage(level, msgidx)

   389

            if answer is not None:

   390

                msg, tick, tv_sec, tv_nsec = answer

   391

                return LogMessage(tv_sec, tv_nsec, level, self.LevelIcons[level], msg)

   392

        return None

   393

   394

    def SetLogCounters(self, log_count):

   395

        new_messages = []

   396

        for level, count, prev in zip(xrange(LogLevelsCount), log_count, self.previous_log_count):

   397

            if count is not None and prev != count:

   398

                if prev is None:

   399

                    dump_end = count - 2

   400

                else:

   401

                    dump_end = prev - 1

   402

                for msgidx in xrange(count-1, dump_end,-1):

   403

                    new_message = self.GetLogMessageFromSource(msgidx, level)

   404

                    if new_message is not None:

   405

                        if prev is None:

   406

                            self.OldestMessages.append((msgidx, new_message))

   407

                            if len(new_messages) == 0 or new_message > new_messages[0]:

   408

                                new_messages = [new_message]

   409

                        else:

   410

                            new_messages.insert(0, new_message)

   411

                    else:

   412

                        if prev is None:

   413

                            self.OldestMessages.append((-1, None))

   414

                        break

   415

                self.previous_log_count[level] = count

   416

        new_messages.sort()

   417

        if len(new_messages) > 0:

   418

            self.HasNewData = True

   419

            old_length = len(self.LogMessages)

   420

            for new_message in new_messages:

   421

                self.LogMessages.append(new_message)

   422

                self.LogMessagesTimestamp = numpy.append(self.LogMessagesTimestamp, [new_message.Timestamp])

   423

            if self.CurrentMessage is None or self.CurrentMessage == old_length - 1:

   424

                self.CurrentMessage = len(self.LogMessages) - 1

   425

                self.ResetMessageToolTip()

   426

                self.MessageToolTipTimer.Stop()

   428

            self.NewDataAvailable(None)

   429

   430

    def FilterLogMessage(self, message, timestamp=None):

   431

        return (message.Level in self.CurrentFilter and 

   432

                message.Message.find(self.CurrentSearchValue) != -1 and

   433

                (timestamp is None or message.Timestamp < timestamp))

   434

   435

    def GetMessageByTimestamp(self, timestamp):

   436

        if self.CurrentMessage is not None:

   437

            msgidx = numpy.argmin(abs(self.LogMessagesTimestamp - timestamp))

   438

            message = self.LogMessages[msgidx]

   439

            if self.FilterLogMessage(message) and message.Timestamp > timestamp:

   440

                return self.GetPreviousMessage(msgidx, timestamp)

   441

            return message, msgidx

   442

        return None, None

   443

   444

    def GetNextMessage(self, msgidx):

   445

        while msgidx < len(self.LogMessages) - 1:

   446

            message = self.LogMessages[msgidx + 1]

   447

            if self.FilterLogMessage(message):

   448

                return message, msgidx + 1

   449

            msgidx += 1

   450

        return None, None

   451

   452

    def GetPreviousMessage(self, msgidx, timestamp=None):

   453

        message = None

   454

        while 0 < msgidx < len(self.LogMessages):

   455

            message = self.LogMessages[msgidx - 1]

   456

            if self.FilterLogMessage(message, timestamp):

   457

                return message, msgidx - 1

   458

            msgidx -= 1

   459

        if len(self.LogMessages) > 0:

   460

            message = self.LogMessages[0]

   461

            while message is not None:

   462

                level = message.Level

   463

                oldest_msgidx, oldest_message = self.OldestMessages[level]

   464

                if oldest_msgidx > 0:

   465

                    old_message = self.GetLogMessageFromSource(oldest_msgidx - 1, level)

   466

                    if old_message is not None:

   467

                        self.OldestMessages[level] = (oldest_msgidx - 1, old_message)

   468

                    else:

   469

                        self.OldestMessages[level] = (-1, None)

   470

                else:

   471

                    self.OldestMessages[level] = (-1, None)

   472

                message = None

   473

                for idx, msg in self.OldestMessages:

   474

                    if msg is not None and (message is None or msg > message):

   475

                        message = msg

   476

                if message is not None:

   477

                    self.LogMessages.insert(0, message)

   478

                    self.LogMessagesTimestamp = numpy.insert(self.LogMessagesTimestamp, [0], [message.Timestamp])

   479

                    if self.CurrentMessage is not None:

   480

                        self.CurrentMessage += 1

   481

                    else:

   482

                        self.CurrentMessage = 0

   483

                    if self.FilterLogMessage(message, timestamp):

   484

                        return message, 0

   485

        return None, None

   486

   487

    def RefreshNewData(self, *args, **kwargs):

   488

        if self.HasNewData:

   489

            self.HasNewData = False

   490

            self.RefreshView()

   491

        DebugViewer.RefreshNewData(self, *args, **kwargs)

   492

   493

    def RefreshView(self):

   494

        width, height = self.MessagePanel.GetClientSize()

   495

        bitmap = wx.EmptyBitmap(width, height)

   496

        dc = wx.BufferedDC(wx.ClientDC(self.MessagePanel), bitmap)

   497

        dc.Clear()

   498

        dc.BeginDrawing()

   499

   500

        if self.CurrentMessage is not None:

   501

   502

            dc.SetFont(self.Font)

   503

   504

            for button in self.LeftButtons + self.RightButtons:

   505

                button.Draw(dc)

   506

   507

            message_idx = self.CurrentMessage