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) 2007: 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

import wx

    26

    27

from plcopen.structures import *

    28

from PLCControler import ITEM_POU

    29

    30

from Dialogs import *

    31

    32

SCROLLBAR_UNIT = 10

    33

WINDOW_BORDER = 10

    34

SCROLL_ZONE = 10

    35

    36

def AppendMenu(parent, help, id, kind, text):

    37

    if wx.VERSION >= (2, 6, 0):

    38

        parent.Append(help=help, id=id, kind=kind, text=text)

    39

    else:

    40

        parent.Append(helpString=help, id=id, kind=kind, item=text)

    41

    42

if wx.Platform == '__WXMSW__':

    43

    faces = { 'times': 'Times New Roman',

    44

              'mono' : 'Courier New',

    45

              'helv' : 'Arial',

    46

              'other': 'Comic Sans MS',

    47

              'size' : 20,

    48

             }

    49

else:

    50

    faces = { 'times': 'Times',

    51

              'mono' : 'Courier',

    52

              'helv' : 'Helvetica',

    53

              'other': 'new century schoolbook',

    54

              'size' : 20,

    55

             }

    56

    57

#-------------------------------------------------------------------------------

    58

#                       Graphic elements Viewer base class

    59

#-------------------------------------------------------------------------------

    60

    61

# ID Constants for alignment menu items

    62

[ID_VIEWERALIGNMENTMENUITEMS0, ID_VIEWERALIGNMENTMENUITEMS1,

    63

 ID_VIEWERALIGNMENTMENUITEMS2, ID_VIEWERALIGNMENTMENUITEMS4,

    64

 ID_VIEWERALIGNMENTMENUITEMS5, ID_VIEWERALIGNMENTMENUITEMS6,

    65

] = [wx.NewId() for _init_coll_AlignmentMenu_Items in range(6)]

    66

    67

# ID Constants for contextual menu items

    68

[ID_VIEWERCONTEXTUALMENUITEMS0, ID_VIEWERCONTEXTUALMENUITEMS1,

    69

 ID_VIEWERCONTEXTUALMENUITEMS2, ID_VIEWERCONTEXTUALMENUITEMS3,

    70

 ID_VIEWERCONTEXTUALMENUITEMS5, ID_VIEWERCONTEXTUALMENUITEMS6,

    71

 ID_VIEWERCONTEXTUALMENUITEMS8, ID_VIEWERCONTEXTUALMENUITEMS9,

    72

 ID_VIEWERCONTEXTUALMENUITEMS11, ID_VIEWERCONTEXTUALMENUITEMS12,

    73

 ID_VIEWERCONTEXTUALMENUITEMS14, ID_VIEWERCONTEXTUALMENUITEMS16,

    74

 ID_VIEWERCONTEXTUALMENUITEMS17,

    75

] = [wx.NewId() for _init_coll_ContextualMenu_Items in range(13)]

    76

    77

    78

class ViewerDropTarget(wx.TextDropTarget):

    79

    80

    def __init__(self, parent):

    81

        wx.TextDropTarget.__init__(self)

    82

        self.ParentWindow = parent

    83

    84

    def OnDropText(self, x, y, data):

    85

        x, y = self.ParentWindow.CalcUnscrolledPosition(x, y)

    86

        scaling = self.ParentWindow.Scaling

    87

        values = eval(data)

    88

        if values[1] == "program":

    89

            message = wx.MessageDialog(self.ParentWindow, "Programs can't be used by other POUs!", "Error", wx.OK|wx.ICON_ERROR)

    90

            message.ShowModal()

    91

            message.Destroy()

    92

        elif values[1] in ["function", "functionBlock", "program"]:

    93

            name, type = self.ParentWindow.Controler.GetEditedElementType(self.ParentWindow.GetTagName())

    94

            if name == values[0]:

    95

                message = wx.MessageDialog(self.ParentWindow, "\"%s\" can't use itself!"%name, "Error", wx.OK|wx.ICON_ERROR)

    96

                message.ShowModal()

    97

                message.Destroy()

    98

            elif type == "function" and values[1] != "function":

    99

                message = wx.MessageDialog(self.ParentWindow, "Function Blocks can't be used by Functions!", "Error", wx.OK|wx.ICON_ERROR)

   100

                message.ShowModal()

   101

                message.Destroy()

   102

            elif self.ParentWindow.Controler.PouIsUsedBy(name, values[0]):

   103

                message = wx.MessageDialog(self.ParentWindow, "\"%s\" is already used by \"%s\"!"%(name, values[0]), "Error", wx.OK|wx.ICON_ERROR)

   104

                message.ShowModal()

   105

                message.Destroy()

   106

            else:

   107

                blockname = values[2]

   108

                if values[1] != "function" and blockname == "":

   109

                    dialog = wx.TextEntryDialog(self.ParentWindow, "Block name", "Please enter a block name", "", wx.OK|wx.CANCEL|wx.CENTRE)

   110

                    if dialog.ShowModal():

   111

                        blockname = dialog.GetValue()

   112

                    dialog.Destroy()

   113

                if blockname.upper() in [name.upper() for name in self.ParentWindow.Controler.GetProjectPouNames()]:

   114

                    message = wx.MessageDialog(self.ParentWindow, "\"%s\" pou already exists!"%blockname, "Error", wx.OK|wx.ICON_ERROR)

   115

                    message.ShowModal()

   116

                    message.Destroy()

   117

                elif blockname.upper() in [name.upper() for name in self.ParentWindow.Controler.GetEditedElementVariables(self.ParentWindow.GetTagName())]:

   118

                    message = wx.MessageDialog(self.ParentWindow, "\"%s\" element for this pou already exists!"%blockname, "Error", wx.OK|wx.ICON_ERROR)

   119

                    message.ShowModal()

   120

                    message.Destroy()

   121

                else:

   122

                    id = self.ParentWindow.GetNewId()

   123

                    block = FBD_Block(self.ParentWindow, values[0], blockname, id)

   124

                    width, height = block.GetMinSize()

   125

                    if scaling is not None:

   126

                        x = round(float(x) / float(scaling[0])) * scaling[0]

   127

                        y = round(float(y) / float(scaling[1])) * scaling[1]

   128

                        width = round(float(width) / float(scaling[0]) + 0.5) * scaling[0]

   129

                        height = round(float(height) / float(scaling[1]) + 0.5) * scaling[1]

   130

                    block.SetPosition(x, y)

   131

                    block.SetSize(width, height)

   132

                    self.ParentWindow.AddBlock(block)

   133

                    self.ParentWindow.Controler.AddEditedElementBlock(self.ParentWindow.GetTagName(), id, values[0], blockname)

   134

                    self.ParentWindow.RefreshBlockModel(block)

   135

                    self.ParentWindow.RefreshBuffer()

   136

                    self.ParentWindow.RefreshScrollBars()

   137

                    self.ParentWindow.ParentWindow.RefreshVariablePanel(self.ParentWindow.GetTagName())

   138

                    self.ParentWindow.Refresh(False)

   139

        elif values[1] != "location":

   140

            if values[3] == self.ParentWindow.GetTagName():

   141

                id = self.ParentWindow.GetNewId()

   142

                if values[1] == "Output":

   143

                    var_type = OUTPUT

   144

                elif values[1] == "InOut":

   145

                    var_type = INPUT

   146

                else:

   147

                    var_type = INPUT

   148

                variable = FBD_Variable(self.ParentWindow, var_type, values[0], values[2], id)

   149

                width, height = variable.GetMinSize()

   150

                if scaling is not None:

   151

                    x = round(float(x) / float(scaling[0])) * scaling[0]

   152

                    y = round(float(y) / float(scaling[1])) * scaling[1]

   153

                    width = round(float(width) / float(scaling[0]) + 0.5) * scaling[0]

   154

                    height = round(float(height) / float(scaling[1]) + 0.5) * scaling[1]

   155

                variable.SetPosition(x, y)

   156

                variable.SetSize(width, height)

   157

                self.ParentWindow.AddBlock(variable)

   158

                self.ParentWindow.Controler.AddEditedElementVariable(self.ParentWindow.GetTagName(), id, var_type)

   159

                self.ParentWindow.RefreshVariableModel(variable)

   160

                self.ParentWindow.RefreshBuffer()

   161

                self.ParentWindow.RefreshScrollBars()

   162

                self.ParentWindow.Refresh(False)

   163

            else:

   164

                message = wx.MessageDialog(self.ParentWindow, "Variable don't belong to this POU!", "Error", wx.OK|wx.ICON_ERROR)

   165

                message.ShowModal()

   166

                message.Destroy()

   167

   168

if wx.VERSION >= (2, 8, 0):

   169

    import wx.aui

   170

   171

    class MDIViewer(wx.aui.AuiMDIChildFrame):

   172

        def __init__(self, parent, tagname, window, controler):

   173

            wx.aui.AuiMDIChildFrame.__init__(self, parent, -1, title = "")

   174

   175

            sizer = wx.BoxSizer(wx.HORIZONTAL)

   176

   177

            self.Viewer = Viewer(self, tagname, window, controler)

   178

   179

            sizer.AddWindow(self.Viewer, 1, border=0, flag=wx.GROW)

   180

   181

            self.SetSizer(sizer)

   182

   183

        def GetViewer(self):

   184

            return self.Viewer

   185

   186

"""

   187

Class that implements a Viewer based on a wx.ScrolledWindow for drawing and 

   188

manipulating graphic elements

   189

"""

   190

   191

class Viewer(wx.ScrolledWindow):

   192

   193

    if wx.VERSION < (2, 6, 0):

   194

        def Bind(self, event, function, id = None):

   195

            if id is not None:

   196

                event(self, id, function)

   197

            else:

   198

                event(self, function)

   199

   200

    # Create Alignment Menu items

   201

    def _init_coll_AlignmentMenu_Items(self, parent):

   202

        # Create menu items

   203

        AppendMenu(parent, help='', id=ID_VIEWERALIGNMENTMENUITEMS0,

   204

              kind=wx.ITEM_NORMAL, text=u'Left')

   205

        AppendMenu(parent, help='', id=ID_VIEWERALIGNMENTMENUITEMS1,

   206

              kind=wx.ITEM_NORMAL, text=u'Center')

   207

        AppendMenu(parent, help='', id=ID_VIEWERALIGNMENTMENUITEMS2,

   208

              kind=wx.ITEM_NORMAL, text=u'Right')

   209

        parent.AppendSeparator()

   210

        AppendMenu(parent, help='', id=ID_VIEWERALIGNMENTMENUITEMS4,

   211

              kind=wx.ITEM_NORMAL, text=u'Top')

   212

        AppendMenu(parent, help='', id=ID_VIEWERALIGNMENTMENUITEMS5,

   213

              kind=wx.ITEM_NORMAL, text=u'Middle')

   214

        AppendMenu(parent, help='', id=ID_VIEWERALIGNMENTMENUITEMS6,

   215

              kind=wx.ITEM_NORMAL, text=u'Bottom')

   216

        # Link menu event to corresponding called functions

   217

        self.Bind(wx.EVT_MENU, self.OnAlignLeftMenu,

   218

              id=ID_VIEWERALIGNMENTMENUITEMS0)

   219

        self.Bind(wx.EVT_MENU, self.OnAlignCenterMenu,

   220

              id=ID_VIEWERALIGNMENTMENUITEMS1)

   221

        self.Bind(wx.EVT_MENU, self.OnAlignRightMenu,

   222

              id=ID_VIEWERALIGNMENTMENUITEMS2)

   223

        self.Bind(wx.EVT_MENU, self.OnAlignTopMenu,

   224

              id=ID_VIEWERALIGNMENTMENUITEMS4)

   225

        self.Bind(wx.EVT_MENU, self.OnAlignMiddleMenu,

   226

              id=ID_VIEWERALIGNMENTMENUITEMS5)

   227

        self.Bind(wx.EVT_MENU, self.OnAlignBottomMenu,

   228

              id=ID_VIEWERALIGNMENTMENUITEMS6)

   229

   230

    # Create Contextual Menu items

   231

    def _init_coll_ContextualMenu_Items(self, parent):

   232

        # Create menu items

   233

        AppendMenu(parent, help='', id=ID_VIEWERCONTEXTUALMENUITEMS0,

   234

              kind=wx.ITEM_RADIO, text=u'No Modifier')

   235

        AppendMenu(parent, help='', id=ID_VIEWERCONTEXTUALMENUITEMS1,

   236

              kind=wx.ITEM_RADIO, text=u'Negated')

   237

        AppendMenu(parent, help='', id=ID_VIEWERCONTEXTUALMENUITEMS2,

   238

              kind=wx.ITEM_RADIO, text=u'Rising Edge')

   239

        AppendMenu(parent, help='', id=ID_VIEWERCONTEXTUALMENUITEMS3,

   240

              kind=wx.ITEM_RADIO, text=u'Falling Edge')

   241

        parent.AppendSeparator()

   242

        AppendMenu(parent, help='', id=ID_VIEWERCONTEXTUALMENUITEMS5,

   243

              kind=wx.ITEM_NORMAL, text=u'Add Wire Segment')

   244

        AppendMenu(parent, help='', id=ID_VIEWERCONTEXTUALMENUITEMS6,

   245

              kind=wx.ITEM_NORMAL, text=u'Delete Wire Segment')

   246

        parent.AppendSeparator()

   247

        AppendMenu(parent, help='', id=ID_VIEWERCONTEXTUALMENUITEMS8,

   248

              kind=wx.ITEM_NORMAL, text=u'Add Divergence Branch')

   249

        AppendMenu(parent, help='', id=ID_VIEWERCONTEXTUALMENUITEMS9,

   250

              kind=wx.ITEM_NORMAL, text=u'Delete Divergence Branch')

   251

        parent.AppendSeparator()

   252

        AppendMenu(parent, help='', id=ID_VIEWERCONTEXTUALMENUITEMS11,

   253

              kind=wx.ITEM_NORMAL, text=u'Clear Execution Order')

   254

        AppendMenu(parent, help='', id=ID_VIEWERCONTEXTUALMENUITEMS12,

   255

              kind=wx.ITEM_NORMAL, text=u'Reset Execution Order')

   256

        parent.AppendSeparator()

   257

        parent.AppendMenu(ID_VIEWERCONTEXTUALMENUITEMS14, "Alignment", self.AlignmentMenu)

   258

        parent.AppendSeparator()

   259

        AppendMenu(parent, help='', id=ID_VIEWERCONTEXTUALMENUITEMS16,

   260

              kind=wx.ITEM_NORMAL, text=u'Edit Block')

   261

        AppendMenu(parent, help='', id=ID_VIEWERCONTEXTUALMENUITEMS17,

   262

              kind=wx.ITEM_NORMAL, text=u'Delete')

   263

        # Link menu event to corresponding called functions

   264

        self.Bind(wx.EVT_MENU, self.OnNoModifierMenu,

   265

              id=ID_VIEWERCONTEXTUALMENUITEMS0)

   266

        self.Bind(wx.EVT_MENU, self.OnNegatedMenu,

   267

              id=ID_VIEWERCONTEXTUALMENUITEMS1)

   268

        self.Bind(wx.EVT_MENU, self.OnRisingEdgeMenu,

   269

              id=ID_VIEWERCONTEXTUALMENUITEMS2)

   270

        self.Bind(wx.EVT_MENU, self.OnFallingEdgeMenu,

   271

              id=ID_VIEWERCONTEXTUALMENUITEMS3)

   272

        self.Bind(wx.EVT_MENU, self.OnAddSegmentMenu,

   273

              id=ID_VIEWERCONTEXTUALMENUITEMS5)

   274

        self.Bind(wx.EVT_MENU, self.OnDeleteSegmentMenu,

   275

              id=ID_VIEWERCONTEXTUALMENUITEMS6)

   276

        self.Bind(wx.EVT_MENU, self.OnAddBranchMenu,

   277

              id=ID_VIEWERCONTEXTUALMENUITEMS8)

   278

        self.Bind(wx.EVT_MENU, self.OnDeleteBranchMenu,

   279

              id=ID_VIEWERCONTEXTUALMENUITEMS9)

   280

        self.Bind(wx.EVT_MENU, self.OnClearExecutionOrderMenu,

   281

              id=ID_VIEWERCONTEXTUALMENUITEMS11)

   282

        self.Bind(wx.EVT_MENU, self.OnResetExecutionOrderMenu,

   283

              id=ID_VIEWERCONTEXTUALMENUITEMS12)

   284

        self.Bind(wx.EVT_MENU, self.OnEditBlockMenu,

   285

              id=ID_VIEWERCONTEXTUALMENUITEMS16)

   286

        self.Bind(wx.EVT_MENU, self.OnDeleteMenu,

   287

              id=ID_VIEWERCONTEXTUALMENUITEMS17)

   288

   289

    # Create and initialize Contextual Menu

   290

    def _init_menus(self):

   291

        self.AlignmentMenu = wx.Menu(title='')

   292

        self.ContextualMenu = wx.Menu(title='')

   293

   294

        self._init_coll_AlignmentMenu_Items(self.AlignmentMenu)

   295

        self._init_coll_ContextualMenu_Items(self.ContextualMenu)

   296

   297

    # Create a new Viewer

   298

    def __init__(self, parent, tagname, window, controler):

   299

        wx.ScrolledWindow.__init__(self, parent, pos=wx.Point(0, 0), size=wx.Size(0, 0), 

   300

            style=wx.HSCROLL | wx.VSCROLL)

   301

        self._init_menus()

   302

        # Adding a rubberband to Viewer

   303

        self.rubberBand = RubberBand(drawingSurface=self)

   304

        self.SetBackgroundColour(wx.Colour(255,255,255))

   305

        self.ResetView()

   306

        self.Scaling = None

   307

        self.DrawGrid = True

   308

        self.GridBrush = wx.TRANSPARENT_BRUSH

   311

        self.DrawingWire = False

   312

        self.current_id = 0

   313

        self.TagName = tagname

   314

   315

        # Initialize Block, Wire and Comment numbers

   316

        self.block_id = self.wire_id = self.comment_id = 0

   317

   318

        # Initialize Viewer mode to Selection mode

   319

        self.Mode = MODE_SELECTION

   320

        self.SavedMode = False

   321

        self.CurrentLanguage = "FBD"

   322

   323

        self.ParentWindow = window

   324

        self.Controler = controler

   325

   326

        self.SetDropTarget(ViewerDropTarget(self))

   327

   328

        dc = wx.ClientDC(self)

   330

        dc.SetFont(font)

   331

        width, height = dc.GetTextExtent("ABCDEFGHIJKLMNOPQRSTUVWXYZ")

   332

        while width > 260:

   333

            faces["size"] -= 1

   335

            dc.SetFont(font)

   336

            width, height = dc.GetTextExtent("ABCDEFGHIJKLMNOPQRSTUVWXYZ")

   337

        self.SetFont(font)

   338

   339

        # Link Viewer event to corresponding methods

   340

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

   341

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

   342

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

   343

        self.Bind(wx.EVT_LEFT_DCLICK, self.OnViewerLeftDClick)

   344

        self.Bind(wx.EVT_RIGHT_DOWN, self.OnViewerRightDown)

   345

        self.Bind(wx.EVT_RIGHT_UP, self.OnViewerRightUp)

   346

        self.Bind(wx.EVT_LEAVE_WINDOW, self.OnLeaveViewer)

   347

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

   348

        self.Bind(wx.EVT_CHAR, self.OnChar)

   350

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

   351

   352

    def GetScrolledRect(self, rect):

   353

        rect.x, rect.y = self.CalcScrolledPosition(rect.x, rect.y)

   354

        return rect

   355

   356

    def GetScaling(self):

   357

        return self.Scaling

   358

   359

    def SetTagName(self, tagname):

   360

        self.TagName = tagname

   361

   362

    def GetTagName(self):

   363

        return self.TagName

   364

   365

    def IsViewing(self, tagname):

   366

        return self.TagName == tagname

   367

   368

    # Returns a new id

   369

    def GetNewId(self):

   370

        self.current_id += 1

   371

        return self.current_id

   372

   373

    # Destructor

   374

    def __del__(self):

   375

        self.ResetView()

   376

   377

    def GetLogicalDC(self, buffered=False):

   378

        if buffered:

   380

        else:

   381

            dc = wx.ClientDC(self)

   382

        dc.SetFont(self.GetFont())

   383

        if wx.VERSION >= (2, 6, 0):

   384

            self.DoPrepareDC(dc)

   385

        else:

   386

            self.PrepareDC(dc)

   387

        return dc

   388

   389

#-------------------------------------------------------------------------------

   390

#                         Element management functions

   391

#-------------------------------------------------------------------------------

   392

   393

    def AddBlock(self, block):

   394

        self.block_id += 1

   395

        self.Blocks[block] = self.block_id

   396

   397

    def AddWire(self, wire):

   398

        self.wire_id += 1

   399

        self.Wires[wire] = self.wire_id

   400

   401

    def AddComment(self, comment):

   402

        self.comment_id += 1

   403

        self.Comments[comment] = self.comment_id

   404

   405

    def IsBlock(self, block):

   406

        return self.Blocks.get(block, False)

   407

   408

    def IsWire(self, wire):

   409

        return self.Wires.get(wire, False)

   410

   411

    def IsComment(self, comment):

   412

        return self.Comments.get(comment, False)

   413

   414

    def RemoveBlock(self, block):

   415

        self.Blocks.pop(block)

   416

   417

    def RemoveWire(self, wire):

   418

        self.Wires.pop(wire)

   419

   420

    def RemoveComment(self, comment):

   421

        self.Comments.pop(comment)

   422

   423

    def GetElements(self, sort_blocks=False, sort_wires=False, sort_comments=False):

   424

        blocks = self.Blocks.keys()

   425

        wires = self.Wires.keys()

   426

        comments = self.Comments.keys()

   427

        if sort_blocks:

   428

            blocks.sort(lambda x,y:self.Blocks[x].__cmp__(self.Blocks[y]))

   429

        if sort_wires:

   430

            wires.sort(lambda x,y:self.Wires[x].__cmp__(self.Wires[y]))

   431

        if sort_comments:

   432

            comments.sort(lambda x,y:self.Comments[x].__cmp__(self.Comments[y]))

   433

        return blocks + wires + comments

   434

   435

#-------------------------------------------------------------------------------

   436

#                              Reset functions

   437

#-------------------------------------------------------------------------------

   438

   439

    # Resets Viewer lists

   440

    def ResetView(self):

   441

        self.Blocks = {}

   442

        self.Wires = {}

   443

        self.Comments = {}

   444

        self.SelectedElement = None

   445

        self.HighlightedElement = None

   446

   447

    # Remove all elements

   448

    def CleanView(self):

   449

        for block in self.Blocks.keys():

   450

            block.Clean()

   451

        self.ResetView()

   452

   453

    # Changes Viewer mode

   454

    def SetMode(self, mode):

   455

        if self.Mode != mode or mode == MODE_SELECTION:

   456

            self.Mode = mode

   457

            self.SavedMode = False

   458

        else:

   459

            self.SavedMode = True

   460

        # Reset selection

   461

        if self.Mode != MODE_SELECTION and self.SelectedElement:

   462

            self.SelectedElement.SetSelected(False)

   463

            self.SelectedElement = None

   464

   465

    # Return current drawing mode

   466

    def GetDrawingMode(self):

   467

        return self.ParentWindow.GetDrawingMode()

   468

   469

    # Buffer the last model state

   470

    def RefreshBuffer(self):

   471

        self.Controler.BufferProject()

   472

        self.ParentWindow.RefreshTitle()

   473

        self.ParentWindow.RefreshEditMenu()

   474

   475

    # Refresh the current scaling

   476

    def RefreshScaling(self, refresh=True):

   477

        properties = self.Controler.GetProjectProperties()

   478

        scaling = properties["scaling"][self.CurrentLanguage]

   479

        if scaling != (0, 0):

   480

            self.Scaling = scaling

   481

            if self.DrawGrid:

   482

                bitmap = wx.EmptyBitmap(*scaling)

   483

                dc = wx.MemoryDC(bitmap)

   484

                dc.SetBackground(wx.Brush(self.GetBackgroundColour()))

   485

                dc.Clear()

   486

                dc.SetPen(wx.Pen(wx.Colour(180, 180, 180)))

   487

                dc.DrawPoint(0, 0)

   488

                self.GridBrush = wx.BrushFromBitmap(bitmap)

   489

            else:

   490

                self.GridBrush = wx.TRANSPARENT_BRUSH

   491

        else:

   492

            self.Scaling = None