diff -r 7499535588e6 -r f49875b9e946 util/FileManagementPanel.py --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/util/FileManagementPanel.py Fri Jul 06 21:00:43 2012 +0200 @@ -0,0 +1,420 @@ +#!/usr/bin/env python +# -*- coding: utf-8 -*- + +#This file is part of Beremiz, a Integrated Development Environment for +#programming IEC 61131-3 automates supporting plcopen standard and CanFestival. +# +#Copyright (C) 2007: 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 + +import os +import shutil + +import wx + +from controls import EditorPanel +from utils.BitmapLibrary import GetBitmap + +DRIVE, FOLDER, FILE = range(3) + +FILTER = _("All files (*.*)|*.*|CSV files (*.csv)|*.csv") + +def sort_folder(x, y): + if x[1] == y[1]: + return cmp(x[0], y[0]) + elif x[1] != FILE: + return -1 + else: + return 1 + +def splitpath(path): + head, tail = os.path.split(path) + if head == "": + return [tail] + elif tail == "": + return splitpath(head) + 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| + wx.TR_SINGLE| + wx.SUNKEN_BORDER| + wx.TR_HIDE_ROOT| + wx.TR_LINES_AT_ROOT| + wx.TR_EDIT_LABELS) + if wx.Platform == '__WXMSW__': + self.Bind(wx.EVT_TREE_ITEM_ACTIVATED, self.OnTreeItemExpanded, self.Tree) + self.Tree.Bind(wx.EVT_LEFT_DOWN, self.OnTreeLeftDown) + else: + 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.Folder = folder + self.Editable = editable + + self.TreeImageList = wx.ImageList(16, 16) + self.TreeImageDict = {} + for item_type, bitmap in [(DRIVE, "tree_drive"), + (FOLDER, "tree_folder"), + (FILE, "tree_file")]: + self.TreeImageDict[item_type] = self.TreeImageList.Add(GetBitmap(bitmap)) + self.Tree.SetImageList(self.TreeImageList) + + self.Filters = {} + filter_parts = filter.split("|") + for idx in xrange(0, len(filter_parts), 2): + if filter_parts[idx + 1] == "*.*": + self.Filters[filter_parts[idx]] = "" + else: + self.Filters[filter_parts[idx]] = filter_parts[idx + 1].replace("*", "") + self.Filter.Append(filter_parts[idx]) + if idx == 0: + self.Filter.SetStringSelection(filter_parts[idx]) + + self.CurrentFilter = self.Filters[self.Filter.GetStringSelection()] + + def _GetFolderChildren(self, folderpath, recursive=True): + items = [] + 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))) + else: + try: + files = os.listdir(folderpath) + except: + return [] + for filename in files: + if not filename.startswith("."): + filepath = os.path.join(folderpath, filename) + if os.path.isdir(filepath): + if recursive: + children = len(self._GetFolderChildren(filepath, False)) + else: + children = 0 + items.append((filename, FOLDER, children)) + elif (self.CurrentFilter == "" or + os.path.splitext(filename)[1] == self.CurrentFilter): + items.append((filename, FILE, None)) + if recursive: + items.sort(sort_folder) + return items + + def GetTreeCtrl(self): + return self.Tree + + def RefreshTree(self): + root = self.Tree.GetRootItem() + if not root.IsOk(): + 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)): + if not item.IsOk(): + 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 item_type != FILE: + if self.Tree.IsExpanded(item): + self.GenerateTreeBranch(item, filepath) + elif children > 0: + self.Tree.SetItemHasChildren(item) + item, item_cookie = self.Tree.GetNextChild(root, item_cookie) + to_delete = [] + while item.IsOk(): + to_delete.append(item) + item, item_cookie = self.Tree.GetNextChild(root, item_cookie) + for item in to_delete: + self.Tree.Delete(item) + + def ExpandItem(self, item): + self.GenerateTreeBranch(item, self.GetPath(item)) + self.Tree.Expand(item) + + def OnTreeItemActivated(self, event): + self.ExpandItem(event.GetItem()) + event.Skip() + + def OnTreeLeftDown(self, event): + item, flags = self.Tree.HitTest(event.GetPosition()) + if flags & wx.TREE_HITTEST_ONITEMBUTTON and not self.Tree.IsExpanded(item): + self.ExpandItem(item) + else: + event.Skip() + + def OnTreeItemExpanded(self, event): + item = event.GetItem() + self.GenerateTreeBranch(item, self.GetPath(item)) + event.Skip() + + def OnTreeItemCollapsed(self, event): + item = event.GetItem() + self.Tree.DeleteChildren(item) + self.Tree.SetItemHasChildren(item) + event.Skip() + + def OnTreeBeginLabelEdit(self, event): + item = event.GetItem() + if self.Editable and not self.Tree.ItemHasChildren(item): + event.Skip() + else: + event.Veto() + + def OnTreeEndLabelEdit(self, event): + event.Veto() + + def OnFilterChanged(self, event): + self.CurrentFilter = self.Filters[self.Filter.GetStringSelection()] + self.RefreshTree() + event.Skip() + + def _SelectItem(self, root, parts): + if len(parts) == 0: + self.Tree.SelectItem(root) + else: + item, item_cookie = self.Tree.GetFirstChild(root) + while item.IsOk(): + if self.Tree.GetItemText(item) == parts[0]: + if (self.Tree.ItemHasChildren(item) and + not self.Tree.IsExpanded(item)): + self.Tree.Expand(item) + wx.CallAfter(self._SelectItem, item, parts[1:]) + else: + self._SelectItem(item, parts[1:]) + return + item, item_cookie = self.Tree.GetNextChild(root, item_cookie) + + def SetPath(self, path): + if path.startswith(self.Folder): + root = self.Tree.GetRootItem() + if root.IsOk(): + relative_path = path.replace(os.path.join(self.Folder, ""), "") + self._SelectItem(root, splitpath(relative_path)) + + def GetPath(self, item=None): + if item is None: + item = self.Tree.GetSelection() + if item.IsOk(): + 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) + return self.Folder + +class FileManagementPanel(EditorPanel): + + def _init_Editor(self, parent): + self.Editor = wx.Panel(parent) + + main_sizer = wx.BoxSizer(wx.HORIZONTAL) + + left_sizer = wx.BoxSizer(wx.VERTICAL) + main_sizer.AddSizer(left_sizer, 1, border=5, flag=wx.GROW|wx.ALL) + + managed_dir_label = wx.StaticText(self.Editor, label=self.TagName + ":") + left_sizer.AddWindow(managed_dir_label, border=5, flag=wx.GROW|wx.BOTTOM) + + self.ManagedDir = FolderTree(self.Editor, self.Folder, FILTER) + left_sizer.AddWindow(self.ManagedDir, 1, flag=wx.GROW) + + managed_treectrl = self.ManagedDir.GetTreeCtrl() + self.Bind(wx.EVT_TREE_SEL_CHANGED, self.OnTreeItemChanged, managed_treectrl) + if self.EnableDragNDrop: + self.Bind(wx.EVT_TREE_BEGIN_DRAG, self.OnTreeBeginDrag, managed_treectrl) + + button_sizer = wx.BoxSizer(wx.VERTICAL) + main_sizer.AddSizer(button_sizer, border=5, + flag=wx.ALL|wx.ALIGN_CENTER_VERTICAL) + + for idx, (name, bitmap, help) in enumerate([ + ("DeleteButton", "remove_element", _("Remove file from left folder")), + ("LeftCopyButton", "LeftCopy", _("Copy file from right folder to left")), + ("RightCopyButton", "RightCopy", _("copy file from left folder to right")), + ("EditButton", "edit", _("Edit file"))]): + button = wx.lib.buttons.GenBitmapButton(self.Editor, + bitmap=GetBitmap(bitmap), + size=wx.Size(28, 28), style=wx.NO_BORDER) + button.SetToolTipString(help) + setattr(self, name, button) + if idx > 0: + flag = wx.TOP + else: + flag = 0 + self.Bind(wx.EVT_BUTTON, getattr(self, "On" + name), button) + button_sizer.AddWindow(button, border=20, flag=flag) + + right_sizer = wx.BoxSizer(wx.VERTICAL) + main_sizer.AddSizer(right_sizer, 1, border=5, flag=wx.GROW|wx.ALL) + + if wx.Platform == '__WXMSW__': + system_dir_label = wx.StaticText(self.Editor, label=_("My Computer:")) + else: + system_dir_label = wx.StaticText(self.Editor, label=_("Home Directory:")) + right_sizer.AddWindow(system_dir_label, border=5, flag=wx.GROW|wx.BOTTOM) + + self.SystemDir = FolderTree(self.Editor, self.HomeDirectory, FILTER, False) + right_sizer.AddWindow(self.SystemDir, 1, flag=wx.GROW) + + system_treectrl = self.SystemDir.GetTreeCtrl() + self.Bind(wx.EVT_TREE_SEL_CHANGED, self.OnTreeItemChanged, system_treectrl) + + self.Editor.SetSizer(main_sizer) + + def __init__(self, parent, controler, name, folder, enable_dragndrop=False): + self.Folder = os.path.realpath(folder) + self.EnableDragNDrop = enable_dragndrop + + if wx.Platform == '__WXMSW__': + self.HomeDirectory = "/" + else: + self.HomeDirectory = os.path.expanduser("~") + + EditorPanel.__init__(self, parent, name, None, None) + + self.Controler = controler + + self.EditableFileExtensions = [] + self.EditButton.Hide() + + self.SetIcon(GetBitmap("FOLDER")) + + def __del__(self): + self.Controler.OnCloseEditor(self) + + def GetTitle(self): + return self.TagName + + def SetEditableFileExtensions(self, extensions): + self.EditableFileExtensions = extensions + if len(self.EditableFileExtensions) > 0: + self.EditButton.Show() + + def RefreshView(self): + self.ManagedDir.RefreshTree() + self.SystemDir.RefreshTree() + self.RefreshButtonsState() + + def RefreshButtonsState(self): + managed_filepath = self.ManagedDir.GetPath() + system_filepath = self.SystemDir.GetPath() + + self.DeleteButton.Enable(os.path.isfile(managed_filepath)) + self.LeftCopyButton.Enable(os.path.isfile(system_filepath)) + self.RightCopyButton.Enable(os.path.isfile(managed_filepath)) + if len(self.EditableFileExtensions) > 0: + self.EditButton.Enable( + os.path.isfile(managed_filepath) and + os.path.splitext(managed_filepath)[1] in self.EditableFileExtensions) + + def OnTreeItemChanged(self, event): + self.RefreshButtonsState() + event.Skip() + + def OnDeleteButton(self, event): + filepath = self.ManagedDir.GetPath() + if os.path.isfile(filepath): + folder, filename = os.path.split(filepath) + + dialog = wx.MessageDialog(self, + _("Do you really want to delete the file '%s'?") % filename, + _("Delete File"), wx.YES_NO|wx.ICON_QUESTION) + remove = dialog.ShowModal() == wx.ID_YES + dialog.Destroy() + + if remove: + os.remove(filepath) + self.ManagedDir.RefreshTree() + event.Skip() + + def OnEditButton(self, event): + filepath = self.ManagedDir.GetPath() + if (os.path.isfile(filepath) and + os.path.splitext(filepath)[1] in self.EditableFileExtensions): + self.Controler._OpenView(filepath) + event.Skip() + + def CopyFile(self, src, dst): + if os.path.isfile(src): + src_folder, src_filename = os.path.split(src) + if os.path.isfile(dst): + dst_folder, dst_filename = os.path.split(dst) + else: + dst_folder = dst + + dst_filepath = os.path.join(dst_folder, src_filename) + if os.path.isfile(dst_filepath): + dialog = wx.MessageDialog(self, + _("The file '%s' already exist.\nDo you want to replace it?") % src_filename, + _("Replace File"), wx.YES_NO|wx.ICON_QUESTION) + copy = dialog.ShowModal() == wx.ID_YES + dialog.Destroy() + else: + copy = True + + if copy: + shutil.copyfile(src, dst_filepath) + return dst_filepath + return None + + def OnLeftCopyButton(self, event): + filepath = self.CopyFile(self.SystemDir.GetPath(), self.ManagedDir.GetPath()) + if filepath is not None: + self.ManagedDir.RefreshTree() + self.ManagedDir.SetPath(filepath) + event.Skip() + + def OnRightCopyButton(self, event): + filepath = self.CopyFile(self.ManagedDir.GetPath(), self.SystemDir.GetPath()) + if filepath is not None: + self.SystemDir.RefreshTree() + self.SystemDir.SetPath(filepath) + event.Skip() + + def OnTreeBeginDrag(self, event): + filepath = self.ManagedDir.GetPath() + if os.path.isfile(filepath): + relative_filepath = filepath.replace(os.path.join(self.Folder, ""), "") + data = wx.TextDataObject(str(("'%s'" % relative_filepath, "Constant"))) + dragSource = wx.DropSource(self) + dragSource.SetData(data) + dragSource.DoDragDrop() + \ No newline at end of file