util/FileManagementPanel.py
changeset 801 435e49e80832
parent 794 5bbf57905011
equal deleted inserted replaced
800:e9406586bb14 801:435e49e80832
   278               flag=wx.ALL|wx.ALIGN_CENTER_VERTICAL)
   278               flag=wx.ALL|wx.ALIGN_CENTER_VERTICAL)
   279         
   279         
   280         for idx, (name, bitmap, help) in enumerate([
   280         for idx, (name, bitmap, help) in enumerate([
   281                 ("DeleteButton", "remove_element", _("Remove file from left folder")),
   281                 ("DeleteButton", "remove_element", _("Remove file from left folder")),
   282                 ("LeftCopyButton", "LeftCopy", _("Copy file from right folder to left")),
   282                 ("LeftCopyButton", "LeftCopy", _("Copy file from right folder to left")),
   283                 ("RightCopyButton", "RightCopy", _("copy file from left folder to right")),
   283                 ("RightCopyButton", "RightCopy", _("Copy file from left folder to right")),
   284                 ("EditButton", "edit", _("Edit file"))]):
   284                 ("EditButton", "edit", _("Edit file"))]):
   285             button = wx.lib.buttons.GenBitmapButton(self.Editor, 
   285             button = wx.lib.buttons.GenBitmapButton(self.Editor, 
   286                   bitmap=GetBitmap(bitmap), 
   286                   bitmap=GetBitmap(bitmap), 
   287                   size=wx.Size(28, 28), style=wx.NO_BORDER)
   287                   size=wx.Size(28, 28), style=wx.NO_BORDER)
   288             button.SetToolTipString(help)
   288             button.SetToolTipString(help)