--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/controls/FolderTree.py Wed Feb 27 22:35:46 2013 +0100
@@ -0,0 +1,258 @@
+#This file is part of PLCOpenEditor, a library implementing an IEC 61131-3 editor +#based on the plcopen standard. +#Copyright (C) 2013: Edouard TISSERANT and Laurent BESSARD +#See COPYING file for copyrights details. +#This library is free software; you can redistribute it and/or +#modify it under the terms of the GNU General Public +#License as published by the Free Software Foundation; either +#version 2.1 of the License, or (at your option) any later version. +#This library is distributed in the hope that it will be useful, +#but WITHOUT ANY WARRANTY; without even the implied warranty of +#MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +#General Public License for more details. +#You should have received a copy of the GNU General Public +#License along with this library; if not, write to the Free Software +#Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA +from util.BitmapLibrary import GetBitmap +DRIVE, FOLDER, FILE = range(3) + head, tail = os.path.split(path) + return splitpath(head) + [tail] +class FolderTree(wx.Panel): + def __init__(self, parent, folder, filter=None, editable=True): + wx.Panel.__init__(self, parent, style=wx.TAB_TRAVERSAL) + main_sizer = wx.BoxSizer(wx.VERTICAL) + self.Tree = wx.TreeCtrl(self, + style=wx.TR_HAS_BUTTONS| + if wx.Platform == '__WXMSW__': + self.Bind(wx.EVT_TREE_ITEM_ACTIVATED, self.OnTreeItemExpanded, self.Tree) + self.Tree.Bind(wx.EVT_LEFT_DOWN, self.OnTreeLeftDown) + self.Bind(wx.EVT_TREE_ITEM_EXPANDED, self.OnTreeItemExpanded, self.Tree) + self.Bind(wx.EVT_TREE_ITEM_COLLAPSED, self.OnTreeItemCollapsed, self.Tree) + self.Bind(wx.EVT_TREE_BEGIN_LABEL_EDIT, self.OnTreeBeginLabelEdit, self.Tree) + self.Bind(wx.EVT_TREE_END_LABEL_EDIT, self.OnTreeEndLabelEdit, self.Tree) + main_sizer.AddWindow(self.Tree, 1, flag=wx.GROW) + self.Filter = wx.ComboBox(self, style=wx.CB_READONLY) + self.Bind(wx.EVT_COMBOBOX, self.OnFilterChanged, self.Filter) + main_sizer.AddWindow(self.Filter, flag=wx.GROW) + self.SetSizer(main_sizer) + self.Editable = editable + self.TreeImageList = wx.ImageList(16, 16) + self.TreeImageDict = {} + for item_type, bitmap in [(DRIVE, "tree_drive"), + (FOLDER, "tree_folder"), + self.TreeImageDict[item_type] = self.TreeImageList.Add(GetBitmap(bitmap)) + self.Tree.SetImageList(self.TreeImageList) + if self.Filter is not None: + filter_parts = filter.split("|") + for idx in xrange(0, len(filter_parts), 2): + if filter_parts[idx + 1] == "*.*": + self.Filters[filter_parts[idx]] = "" + self.Filters[filter_parts[idx]] = filter_parts[idx + 1].replace("*", "") + self.Filter.Append(filter_parts[idx]) + self.Filter.SetStringSelection(filter_parts[idx]) + self.CurrentFilter = self.Filters[self.Filter.GetStringSelection()] + self.CurrentFilter = "" + def _GetFolderChildren(self, folderpath, recursive=True): + if wx.Platform == '__WXMSW__' and folderpath == "/": + for c in xrange(ord('a'), ord('z')): + drive = os.path.join("%s:\\" % chr(c)) + if os.path.exists(drive): + items.append((drive, DRIVE, self._GetFolderChildren(drive, False))) + files = os.listdir(folderpath) + if not filename.startswith("."): + filepath = os.path.join(folderpath, filename) + if os.path.isdir(filepath): + children = len(self._GetFolderChildren(filepath, False)) + items.append((filename, FOLDER, children)) + elif (self.CurrentFilter == "" or + os.path.splitext(filename)[1] == self.CurrentFilter): + items.append((filename, FILE, None)) + items.sort(sort_folder) + def SetFilter(self, filter): + self.CurrentFilter = filter + root = self.Tree.GetRootItem() + root = self.Tree.AddRoot("") + self.GenerateTreeBranch(root, self.Folder) + def GenerateTreeBranch(self, root, folderpath): + item, item_cookie = self.Tree.GetFirstChild(root) + for idx, (filename, item_type, children) in enumerate(self._GetFolderChildren(folderpath)): + item = self.Tree.AppendItem(root, filename, self.TreeImageDict[item_type]) + if wx.Platform != '__WXMSW__': + item, item_cookie = self.Tree.GetNextChild(root, item_cookie) + elif self.Tree.GetItemText(item) != filename: + item = self.Tree.InsertItemBefore(root, idx, filename, self.TreeImageDict[item_type]) + filepath = os.path.join(folderpath, filename) + if self.Tree.IsExpanded(item): + self.GenerateTreeBranch(item, filepath) + self.Tree.SetItemHasChildren(item) + item, item_cookie = self.Tree.GetNextChild(root, item_cookie) + item, item_cookie = self.Tree.GetNextChild(root, item_cookie) + def ExpandItem(self, item): + self.GenerateTreeBranch(item, self.GetPath(item)) + def OnTreeItemActivated(self, event): + self.ExpandItem(event.GetItem()) + def OnTreeLeftDown(self, event): + item, flags = self.Tree.HitTest(event.GetPosition()) + if flags & wx.TREE_HITTEST_ONITEMBUTTON and not self.Tree.IsExpanded(item): + def OnTreeItemExpanded(self, event): + self.GenerateTreeBranch(item, self.GetPath(item)) + def OnTreeItemCollapsed(self, event): + self.Tree.DeleteChildren(item) + self.Tree.SetItemHasChildren(item) + def OnTreeBeginLabelEdit(self, event): + if self.Editable and not self.Tree.ItemHasChildren(item): + def OnTreeEndLabelEdit(self, event): + old_filepath = self.GetPath(event.GetItem()) + new_filepath = os.path.join(os.path.split(old_filepath)[0], event.GetLabel()) + if new_filepath != old_filepath: + if not os.path.exists(new_filepath): + os.rename(old_filepath, new_filepath) + message = wx.MessageDialog(self, + _("File '%s' already exists!") % event.GetLabel(), + _("Error"), wx.OK|wx.ICON_ERROR) + def OnFilterChanged(self, event): + self.CurrentFilter = self.Filters[self.Filter.GetStringSelection()] + def _SelectItem(self, root, parts): + self.Tree.SelectItem(root) + item, item_cookie = self.Tree.GetFirstChild(root) + if self.Tree.GetItemText(item) == parts[0]: + if (self.Tree.ItemHasChildren(item) and + not self.Tree.IsExpanded(item)): + wx.CallAfter(self._SelectItem, item, parts[1:]) + self._SelectItem(item, parts[1:]) + item, item_cookie = self.Tree.GetNextChild(root, item_cookie) + def SetPath(self, path): + if path.startswith(self.Folder): + root = self.Tree.GetRootItem() + relative_path = path.replace(os.path.join(self.Folder, ""), "") + self._SelectItem(root, splitpath(relative_path)) + def GetPath(self, item=None): + item = self.Tree.GetSelection() + filepath = self.Tree.GetItemText(item) + parent = self.Tree.GetItemParent(item) + while parent.IsOk() and parent != self.Tree.GetRootItem(): + filepath = os.path.join(self.Tree.GetItemText(parent), filepath) + parent = self.Tree.GetItemParent(parent) + return os.path.join(self.Folder, filepath) --- a/controls/__init__.py Wed Feb 27 11:33:41 2013 +0100
+++ b/controls/__init__.py Wed Feb 27 22:35:46 2013 +0100
@@ -37,3 +37,4 @@
from VariablePanel import VariablePanel
from SearchResultPanel import SearchResultPanel
from TextCtrlAutoComplete import TextCtrlAutoComplete
+from FolderTree import FolderTree --- a/editors/FileManagementPanel.py Wed Feb 27 11:33:41 2013 +0100
+++ b/editors/FileManagementPanel.py Wed Feb 27 22:35:46 2013 +0100
@@ -26,232 +26,14 @@
from EditorPanel import EditorPanel
from util.BitmapLibrary import GetBitmap
-DRIVE, FOLDER, FILE = range(3)
+from controls import FolderTree FILTER = _("All files (*.*)|*.*|CSV files (*.csv)|*.csv")
- head, tail = os.path.split(path)
- return splitpath(head) + [tail]
-class FolderTree(wx.Panel):
- def __init__(self, parent, folder, filter, editable=True):
- wx.Panel.__init__(self, parent, style=wx.TAB_TRAVERSAL)
- main_sizer = wx.BoxSizer(wx.VERTICAL)
- self.Tree = wx.TreeCtrl(self,
- style=wx.TR_HAS_BUTTONS|
- if wx.Platform == '__WXMSW__':
- self.Bind(wx.EVT_TREE_ITEM_ACTIVATED, self.OnTreeItemExpanded, self.Tree)
- self.Tree.Bind(wx.EVT_LEFT_DOWN, self.OnTreeLeftDown)
- self.Bind(wx.EVT_TREE_ITEM_EXPANDED, self.OnTreeItemExpanded, self.Tree)
- self.Bind(wx.EVT_TREE_ITEM_COLLAPSED, self.OnTreeItemCollapsed, self.Tree)
- self.Bind(wx.EVT_TREE_BEGIN_LABEL_EDIT, self.OnTreeBeginLabelEdit, self.Tree)
- self.Bind(wx.EVT_TREE_END_LABEL_EDIT, self.OnTreeEndLabelEdit, self.Tree)
- main_sizer.AddWindow(self.Tree, 1, flag=wx.GROW)
- self.Filter = wx.ComboBox(self, style=wx.CB_READONLY)
- self.Bind(wx.EVT_COMBOBOX, self.OnFilterChanged, self.Filter)
- main_sizer.AddWindow(self.Filter, flag=wx.GROW)
- self.SetSizer(main_sizer)
- self.Editable = editable
- self.TreeImageList = wx.ImageList(16, 16)
- self.TreeImageDict = {}
- for item_type, bitmap in [(DRIVE, "tree_drive"),
- (FOLDER, "tree_folder"),
- self.TreeImageDict[item_type] = self.TreeImageList.Add(GetBitmap(bitmap))
- self.Tree.SetImageList(self.TreeImageList)
- filter_parts = filter.split("|")
- for idx in xrange(0, len(filter_parts), 2):
- if filter_parts[idx + 1] == "*.*":
- self.Filters[filter_parts[idx]] = ""
- self.Filters[filter_parts[idx]] = filter_parts[idx + 1].replace("*", "")
- self.Filter.Append(filter_parts[idx])
- self.Filter.SetStringSelection(filter_parts[idx])
- self.CurrentFilter = self.Filters[self.Filter.GetStringSelection()]
- def _GetFolderChildren(self, folderpath, recursive=True):
- if wx.Platform == '__WXMSW__' and folderpath == "/":
- for c in xrange(ord('a'), ord('z')):
- drive = os.path.join("%s:\\" % chr(c))
- if os.path.exists(drive):
- items.append((drive, DRIVE, self._GetFolderChildren(drive, False)))
- files = os.listdir(folderpath)
- if not filename.startswith("."):
- filepath = os.path.join(folderpath, filename)
- if os.path.isdir(filepath):
- children = len(self._GetFolderChildren(filepath, False))
- items.append((filename, FOLDER, children))
- elif (self.CurrentFilter == "" or
- os.path.splitext(filename)[1] == self.CurrentFilter):
- items.append((filename, FILE, None))
- items.sort(sort_folder)
- root = self.Tree.GetRootItem()
- root = self.Tree.AddRoot("")
- self.GenerateTreeBranch(root, self.Folder)
- def GenerateTreeBranch(self, root, folderpath):
- item, item_cookie = self.Tree.GetFirstChild(root)
- for idx, (filename, item_type, children) in enumerate(self._GetFolderChildren(folderpath)):
- item = self.Tree.AppendItem(root, filename, self.TreeImageDict[item_type])
- if wx.Platform != '__WXMSW__':
- item, item_cookie = self.Tree.GetNextChild(root, item_cookie)
- elif self.Tree.GetItemText(item) != filename:
- item = self.Tree.InsertItemBefore(root, idx, filename, self.TreeImageDict[item_type])
- filepath = os.path.join(folderpath, filename)
- if self.Tree.IsExpanded(item):
- self.GenerateTreeBranch(item, filepath)
- self.Tree.SetItemHasChildren(item)
- item, item_cookie = self.Tree.GetNextChild(root, item_cookie)
- item, item_cookie = self.Tree.GetNextChild(root, item_cookie)
- def ExpandItem(self, item):
- self.GenerateTreeBranch(item, self.GetPath(item))
- def OnTreeItemActivated(self, event):
- self.ExpandItem(event.GetItem())
- def OnTreeLeftDown(self, event):
- item, flags = self.Tree.HitTest(event.GetPosition())
- if flags & wx.TREE_HITTEST_ONITEMBUTTON and not self.Tree.IsExpanded(item):
- def OnTreeItemExpanded(self, event):
- self.GenerateTreeBranch(item, self.GetPath(item))
- def OnTreeItemCollapsed(self, event):
- self.Tree.DeleteChildren(item)
- self.Tree.SetItemHasChildren(item)
- def OnTreeBeginLabelEdit(self, event):
- if self.Editable and not self.Tree.ItemHasChildren(item):
- def OnTreeEndLabelEdit(self, event):
- old_filepath = self.GetPath(event.GetItem())
- new_filepath = os.path.join(os.path.split(old_filepath)[0], event.GetLabel())
- if new_filepath != old_filepath:
- if not os.path.exists(new_filepath):
- os.rename(old_filepath, new_filepath)
- message = wx.MessageDialog(self,
- _("File '%s' already exists!") % event.GetLabel(),
- _("Error"), wx.OK|wx.ICON_ERROR)
- def OnFilterChanged(self, event):
- self.CurrentFilter = self.Filters[self.Filter.GetStringSelection()]
- def _SelectItem(self, root, parts):
- self.Tree.SelectItem(root)
- item, item_cookie = self.Tree.GetFirstChild(root)
- if self.Tree.GetItemText(item) == parts[0]:
- if (self.Tree.ItemHasChildren(item) and
- not self.Tree.IsExpanded(item)):
- wx.CallAfter(self._SelectItem, item, parts[1:])
- self._SelectItem(item, parts[1:])
- item, item_cookie = self.Tree.GetNextChild(root, item_cookie)
- def SetPath(self, path):
- if path.startswith(self.Folder):
- root = self.Tree.GetRootItem()
- relative_path = path.replace(os.path.join(self.Folder, ""), "")
- self._SelectItem(root, splitpath(relative_path))
- def GetPath(self, item=None):
- item = self.Tree.GetSelection()
- filepath = self.Tree.GetItemText(item)
- parent = self.Tree.GetItemParent(item)
- while parent.IsOk() and parent != self.Tree.GetRootItem():
- filepath = os.path.join(self.Tree.GetItemText(parent), filepath)
- parent = self.Tree.GetItemParent(parent)
- return os.path.join(self.Folder, filepath)
class FileManagementPanel(EditorPanel):
def _init_Editor(self, parent):