[go: up one dir, main page]

Menu

[r13]: / bin / SourceBrowser.py  Maximize  Restore  History

Download this file

69 lines (57 with data), 2.6 kB

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
#!/usr/bin/python
# -*- coding: utf-8 -*-
import wx
from configClass import *
class SrcBrowser(wx.TreeCtrl):
def __init__(self, TargetFile, nb, text_id, parent):
wx.TreeCtrl.__init__(self, parent, text_id + 2000, pos=(0, 70),
size=(100, 100), name="Source Browser",
style=wx.TR_HIDE_ROOT | wx.TR_HAS_BUTTONS |
wx.TR_HAS_VARIABLE_ROW_HEIGHT)
self.parent = parent
if TargetFile != "" and TargetFile != "New Document":
try:
br_file = open(TargetFile, "r")
n = 0
root = self.AddRoot("Top")
for line in br_file.readlines():
n += 1
if "class " in line:
root2 = self.AppendItem(root, line + " " + str(n))
elif " def " in line:
self.AppendItem(root2, line.strip(" def ") + " " +
str(n))
elif "def " in line and line[0] != " ":
self.AppendItem(root, line.strip("def ") + " " +
str(n))
except:
pass
self.Bind(wx.EVT_TREE_ITEM_RIGHT_CLICK, lambda event: self.OnTreeClick(event,
text_id))
def RefreshTree(self, text_id, file_br):
CurrentTree = wx.FindWindowById(text_id + 2000)
CurrentTree.DeleteAllItems()
if file_br != "" and file_br != "New Document":
try:
br_file = open(file_br, "r")
n = 0
root = CurrentTree.AddRoot("Top")
for line in br_file.readlines():
n += 1
if "class " in line:
root2 = CurrentTree.AppendItem(root, line + " " +
str(n))
elif " def " in line:
CurrentTree.AppendItem(root2, line.strip(" def ") +
" " + str(n))
elif "def " in line and line[0] != " ":
CurrentTree.AppendItem(root, line.strip("def ") +
" " + str(n))
except:
pass
def OnTreeClick(self, event, text_id):
TextWidget = wx.FindWindowById(text_id)
TreeWidget = wx.FindWindowById(text_id + 2000)
id = TreeWidget.GetSelection()
text = TreeWidget.GetItemText(id)
TextWidget.ScrollToLine(int(text.split(" ")[-1]) - 1)