mirror of
https://github.com/python/cpython.git
synced 2025-07-13 14:25:18 +00:00
220ecbc731
Rev 1.39 GvR Properly fix SF bug #507298 (Gregor Lingl): shellpython2.2 -Qnew smart indent error Use // where int division is intended. (This breaks IDLE for use with previous Python versions -- I don't care.) Rev 1.40 tim_one Convert a pile of obvious "yes/no" functions to return bool. Rev 1.41 foffani/loewis (already merged) - MS html help Rev 1.42 (skip, done differently in Idlefork) Rev 1.43 tzot/rhettinger Extended IDLE's open module menu item to handle hierarchical module names. Will look at doing something similar in import.c so that the effort won't have to be repeated elsewhere. Closes SF patch 600152. Rev 1.44 doerwalter (string methods)
1368 lines
49 KiB
Python
1368 lines
49 KiB
Python
import sys
|
|
import os
|
|
import re
|
|
import imp
|
|
from Tkinter import *
|
|
import tkSimpleDialog
|
|
import tkMessageBox
|
|
|
|
import webbrowser
|
|
import idlever
|
|
import WindowList
|
|
import SearchDialog
|
|
import GrepDialog
|
|
import ReplaceDialog
|
|
import PyParse
|
|
from configHandler import idleConf
|
|
import aboutDialog, textView, configDialog
|
|
|
|
# The default tab setting for a Text widget, in average-width characters.
|
|
TK_TABWIDTH_DEFAULT = 8
|
|
|
|
def _find_module(fullname, path=None):
|
|
"""Version of imp.find_module() that handles hierarchical module names"""
|
|
|
|
file = None
|
|
for tgt in fullname.split('.'):
|
|
if file is not None:
|
|
file.close() # close intermediate files
|
|
(file, filename, descr) = imp.find_module(tgt, path)
|
|
if descr[2] == imp.PY_SOURCE:
|
|
break # find but not load the source file
|
|
module = imp.load_module(tgt, file, filename, descr)
|
|
path = module.__path__
|
|
return file, filename, descr
|
|
|
|
class EditorWindow:
|
|
from Percolator import Percolator
|
|
from ColorDelegator import ColorDelegator
|
|
from UndoDelegator import UndoDelegator
|
|
from IOBinding import IOBinding
|
|
import Bindings
|
|
from Tkinter import Toplevel
|
|
from MultiStatusBar import MultiStatusBar
|
|
|
|
vars = {}
|
|
|
|
def __init__(self, flist=None, filename=None, key=None, root=None):
|
|
currentTheme=idleConf.CurrentTheme()
|
|
self.flist = flist
|
|
root = root or flist.root
|
|
self.root = root
|
|
self.menubar = Menu(root)
|
|
self.top = top = self.Toplevel(root, menu=self.menubar)
|
|
if flist:
|
|
self.vars = flist.vars
|
|
#self.top.instanceDict makes flist.inversedict avalable to
|
|
#configDialog.py so it can access all EditorWindow instaces
|
|
self.top.instanceDict=flist.inversedict
|
|
self.recentFilesPath=os.path.join(idleConf.GetUserCfgDir(),
|
|
'recent-files.lst')
|
|
self.break_set = False
|
|
self.vbar = vbar = Scrollbar(top, name='vbar')
|
|
self.text_frame = text_frame = Frame(top)
|
|
self.text = text = Text(text_frame, name='text', padx=5, wrap=None,
|
|
foreground=idleConf.GetHighlight(currentTheme,
|
|
'normal',fgBg='fg'),
|
|
background=idleConf.GetHighlight(currentTheme,
|
|
'normal',fgBg='bg'),
|
|
highlightcolor=idleConf.GetHighlight(currentTheme,
|
|
'hilite',fgBg='fg'),
|
|
highlightbackground=idleConf.GetHighlight(currentTheme,
|
|
'hilite',fgBg='bg'),
|
|
insertbackground=idleConf.GetHighlight(currentTheme,
|
|
'cursor',fgBg='fg'),
|
|
width=idleConf.GetOption('main','EditorWindow','width'),
|
|
height=idleConf.GetOption('main','EditorWindow','height') )
|
|
|
|
self.createmenubar()
|
|
self.apply_bindings()
|
|
|
|
self.top.protocol("WM_DELETE_WINDOW", self.close)
|
|
self.top.bind("<<close-window>>", self.close_event)
|
|
text.bind("<<center-insert>>", self.center_insert_event)
|
|
text.bind("<<help>>", self.help_dialog)
|
|
text.bind("<<good-advice>>", self.good_advice)
|
|
text.bind("<<view-readme>>", self.view_readme)
|
|
text.bind("<<python-docs>>", self.python_docs)
|
|
text.bind("<<about-idle>>", self.about_dialog)
|
|
text.bind("<<open-config-dialog>>", self.config_dialog)
|
|
text.bind("<<open-module>>", self.open_module)
|
|
text.bind("<<do-nothing>>", lambda event: "break")
|
|
text.bind("<<select-all>>", self.select_all)
|
|
text.bind("<<remove-selection>>", self.remove_selection)
|
|
text.bind("<<find>>", self.find_event)
|
|
text.bind("<<find-again>>", self.find_again_event)
|
|
text.bind("<<find-in-files>>", self.find_in_files_event)
|
|
text.bind("<<find-selection>>", self.find_selection_event)
|
|
text.bind("<<replace>>", self.replace_event)
|
|
text.bind("<<goto-line>>", self.goto_line_event)
|
|
text.bind("<3>", self.right_menu_event)
|
|
text.bind("<<smart-backspace>>",self.smart_backspace_event)
|
|
text.bind("<<newline-and-indent>>",self.newline_and_indent_event)
|
|
text.bind("<<smart-indent>>",self.smart_indent_event)
|
|
text.bind("<<indent-region>>",self.indent_region_event)
|
|
text.bind("<<dedent-region>>",self.dedent_region_event)
|
|
text.bind("<<comment-region>>",self.comment_region_event)
|
|
text.bind("<<uncomment-region>>",self.uncomment_region_event)
|
|
text.bind("<<tabify-region>>",self.tabify_region_event)
|
|
text.bind("<<untabify-region>>",self.untabify_region_event)
|
|
text.bind("<<toggle-tabs>>",self.toggle_tabs_event)
|
|
text.bind("<<change-indentwidth>>",self.change_indentwidth_event)
|
|
|
|
if flist:
|
|
flist.inversedict[self] = key
|
|
if key:
|
|
flist.dict[key] = self
|
|
text.bind("<<open-new-window>>", self.flist.new_callback)
|
|
text.bind("<<close-all-windows>>", self.flist.close_all_callback)
|
|
text.bind("<<open-class-browser>>", self.open_class_browser)
|
|
text.bind("<<open-path-browser>>", self.open_path_browser)
|
|
|
|
self.set_status_bar()
|
|
vbar['command'] = text.yview
|
|
vbar.pack(side=RIGHT, fill=Y)
|
|
text['yscrollcommand'] = vbar.set
|
|
fontWeight='normal'
|
|
if idleConf.GetOption('main','EditorWindow','font-bold',type='bool'):
|
|
fontWeight='bold'
|
|
text.config(font=(idleConf.GetOption('main','EditorWindow','font'),
|
|
idleConf.GetOption('main','EditorWindow','font-size'),
|
|
fontWeight))
|
|
text_frame.pack(side=LEFT, fill=BOTH, expand=1)
|
|
text.pack(side=TOP, fill=BOTH, expand=1)
|
|
text.focus_set()
|
|
|
|
self.per = per = self.Percolator(text)
|
|
if self.ispythonsource(filename):
|
|
self.color = color = self.ColorDelegator()
|
|
per.insertfilter(color)
|
|
##print "Initial colorizer"
|
|
else:
|
|
##print "No initial colorizer"
|
|
self.color = None
|
|
|
|
self.undo = undo = self.UndoDelegator()
|
|
per.insertfilter(undo)
|
|
text.undo_block_start = undo.undo_block_start
|
|
text.undo_block_stop = undo.undo_block_stop
|
|
undo.set_saved_change_hook(self.saved_change_hook)
|
|
|
|
# IOBinding implements file I/O and printing functionality
|
|
self.io = io = self.IOBinding(self)
|
|
io.set_filename_change_hook(self.filename_change_hook)
|
|
|
|
#create the Recent Files submenu
|
|
self.menuRecentFiles=Menu(self.menubar)
|
|
self.menudict['file'].insert_cascade(3,label='Recent Files',
|
|
underline=0,menu=self.menuRecentFiles)
|
|
self.UpdateRecentFilesList()
|
|
|
|
if filename:
|
|
if os.path.exists(filename):
|
|
io.loadfile(filename)
|
|
else:
|
|
io.set_filename(filename)
|
|
self.saved_change_hook()
|
|
|
|
self.load_extensions()
|
|
|
|
menu = self.menudict.get('windows')
|
|
if menu:
|
|
end = menu.index("end")
|
|
if end is None:
|
|
end = -1
|
|
if end >= 0:
|
|
menu.add_separator()
|
|
end = end + 1
|
|
self.wmenu_end = end
|
|
WindowList.register_callback(self.postwindowsmenu)
|
|
|
|
# Some abstractions so IDLE extensions are cross-IDE
|
|
self.askyesno = tkMessageBox.askyesno
|
|
self.askinteger = tkSimpleDialog.askinteger
|
|
self.showerror = tkMessageBox.showerror
|
|
|
|
if self.extensions.has_key('AutoIndent'):
|
|
self.extensions['AutoIndent'].set_indentation_params(
|
|
self.ispythonsource(filename))
|
|
|
|
def set_status_bar(self):
|
|
self.status_bar = self.MultiStatusBar(self.top)
|
|
self.status_bar.set_label('column', 'Col: ?', side=RIGHT)
|
|
self.status_bar.set_label('line', 'Ln: ?', side=RIGHT)
|
|
self.status_bar.pack(side=BOTTOM, fill=X)
|
|
self.text.bind('<KeyRelease>', self.set_line_and_column)
|
|
self.text.bind('<ButtonRelease>', self.set_line_and_column)
|
|
self.text.after_idle(self.set_line_and_column)
|
|
|
|
def set_line_and_column(self, event=None):
|
|
line, column = self.text.index(INSERT).split('.')
|
|
self.status_bar.set_label('column', 'Col: %s' % column)
|
|
self.status_bar.set_label('line', 'Ln: %s' % line)
|
|
|
|
def wakeup(self):
|
|
if self.top.wm_state() == "iconic":
|
|
self.top.wm_deiconify()
|
|
else:
|
|
self.top.tkraise()
|
|
self.text.focus_set()
|
|
|
|
menu_specs = [
|
|
("file", "_File"),
|
|
("edit", "_Edit"),
|
|
("format", "F_ormat"),
|
|
("run", "_Run"),
|
|
("settings", "_Settings"),
|
|
("windows", "_Windows"),
|
|
("help", "_Help"),
|
|
]
|
|
|
|
def createmenubar(self):
|
|
mbar = self.menubar
|
|
self.menudict = menudict = {}
|
|
for name, label in self.menu_specs:
|
|
underline, label = prepstr(label)
|
|
menudict[name] = menu = Menu(mbar, name=name)
|
|
mbar.add_cascade(label=label, menu=menu, underline=underline)
|
|
self.fill_menus()
|
|
#create the ExtraHelp menu, if required
|
|
self.ResetExtraHelpMenu()
|
|
|
|
def postwindowsmenu(self):
|
|
# Only called when Windows menu exists
|
|
# XXX Actually, this Just-In-Time updating interferes badly
|
|
# XXX with the tear-off feature. It would be better to update
|
|
# XXX all Windows menus whenever the list of windows changes.
|
|
menu = self.menudict['windows']
|
|
end = menu.index("end")
|
|
if end is None:
|
|
end = -1
|
|
if end > self.wmenu_end:
|
|
menu.delete(self.wmenu_end+1, end)
|
|
WindowList.add_windows_to_menu(menu)
|
|
|
|
rmenu = None
|
|
|
|
def right_menu_event(self, event):
|
|
self.text.tag_remove("sel", "1.0", "end")
|
|
self.text.mark_set("insert", "@%d,%d" % (event.x, event.y))
|
|
if not self.rmenu:
|
|
self.make_rmenu()
|
|
rmenu = self.rmenu
|
|
self.event = event
|
|
iswin = sys.platform[:3] == 'win'
|
|
if iswin:
|
|
self.text.config(cursor="arrow")
|
|
rmenu.tk_popup(event.x_root, event.y_root)
|
|
if iswin:
|
|
self.text.config(cursor="ibeam")
|
|
|
|
rmenu_specs = [
|
|
# ("Label", "<<virtual-event>>"), ...
|
|
("Close", "<<close-window>>"), # Example
|
|
]
|
|
|
|
def make_rmenu(self):
|
|
rmenu = Menu(self.text, tearoff=0)
|
|
for label, eventname in self.rmenu_specs:
|
|
def command(text=self.text, eventname=eventname):
|
|
text.event_generate(eventname)
|
|
rmenu.add_command(label=label, command=command)
|
|
self.rmenu = rmenu
|
|
|
|
def about_dialog(self, event=None):
|
|
aboutDialog.AboutDialog(self.top,'About IDLEfork')
|
|
|
|
def config_dialog(self, event=None):
|
|
configDialog.ConfigDialog(self.top,'Settings')
|
|
|
|
def good_advice(self, event=None):
|
|
tkMessageBox.showinfo('Advice', "Don't Panic!", master=self.text)
|
|
|
|
def view_readme(self, event=None):
|
|
fn=os.path.join(os.path.abspath(os.path.dirname(__file__)),'README.txt')
|
|
textView.TextViewer(self.top,'IDLEfork - README',fn)
|
|
|
|
def help_dialog(self, event=None):
|
|
fn=os.path.join(os.path.abspath(os.path.dirname(__file__)),'help.txt')
|
|
textView.TextViewer(self.top,'Help',fn)
|
|
|
|
help_url = "http://www.python.org/doc/current/"
|
|
if sys.platform[:3] == "win":
|
|
fn = os.path.dirname(__file__)
|
|
fn = os.path.join(fn, os.pardir, os.pardir, "pythlp.chm")
|
|
fn = os.path.normpath(fn)
|
|
if os.path.isfile(fn):
|
|
help_url = fn
|
|
else:
|
|
fn = os.path.dirname(__file__)
|
|
fn = os.path.join(fn, os.pardir, os.pardir, "Doc", "index.html")
|
|
fn = os.path.normpath(fn)
|
|
if os.path.isfile(fn):
|
|
help_url = fn
|
|
del fn
|
|
def python_docs(self, event=None):
|
|
os.startfile(self.help_url)
|
|
else:
|
|
def python_docs(self, event=None):
|
|
self.display_docs(self.help_url)
|
|
|
|
def display_docs(self, url):
|
|
webbrowser.open(url)
|
|
|
|
def select_all(self, event=None):
|
|
self.text.tag_add("sel", "1.0", "end-1c")
|
|
self.text.mark_set("insert", "1.0")
|
|
self.text.see("insert")
|
|
return "break"
|
|
|
|
def remove_selection(self, event=None):
|
|
self.text.tag_remove("sel", "1.0", "end")
|
|
self.text.see("insert")
|
|
|
|
def find_event(self, event):
|
|
SearchDialog.find(self.text)
|
|
return "break"
|
|
|
|
def find_again_event(self, event):
|
|
SearchDialog.find_again(self.text)
|
|
return "break"
|
|
|
|
def find_selection_event(self, event):
|
|
SearchDialog.find_selection(self.text)
|
|
return "break"
|
|
|
|
def find_in_files_event(self, event):
|
|
GrepDialog.grep(self.text, self.io, self.flist)
|
|
return "break"
|
|
|
|
def replace_event(self, event):
|
|
ReplaceDialog.replace(self.text)
|
|
return "break"
|
|
|
|
def goto_line_event(self, event):
|
|
text = self.text
|
|
lineno = tkSimpleDialog.askinteger("Goto",
|
|
"Go to line number:",parent=text)
|
|
if lineno is None:
|
|
return "break"
|
|
if lineno <= 0:
|
|
text.bell()
|
|
return "break"
|
|
text.mark_set("insert", "%d.0" % lineno)
|
|
text.see("insert")
|
|
|
|
def open_module(self, event=None):
|
|
# XXX Shouldn't this be in IOBinding or in FileList?
|
|
try:
|
|
name = self.text.get("sel.first", "sel.last")
|
|
except TclError:
|
|
name = ""
|
|
else:
|
|
name = name.strip()
|
|
if not name:
|
|
name = tkSimpleDialog.askstring("Module",
|
|
"Enter the name of a Python module\n"
|
|
"to search on sys.path and open:",
|
|
parent=self.text)
|
|
if name:
|
|
name = name.strip()
|
|
if not name:
|
|
return
|
|
# XXX Ought to insert current file's directory in front of path
|
|
try:
|
|
(f, file, (suffix, mode, type)) = _find_module(name)
|
|
except (NameError, ImportError), msg:
|
|
tkMessageBox.showerror("Import error", str(msg), parent=self.text)
|
|
return
|
|
if type != imp.PY_SOURCE:
|
|
tkMessageBox.showerror("Unsupported type",
|
|
"%s is not a source module" % name, parent=self.text)
|
|
return
|
|
if f:
|
|
f.close()
|
|
if self.flist:
|
|
self.flist.open(file)
|
|
else:
|
|
self.io.loadfile(file)
|
|
|
|
def open_class_browser(self, event=None):
|
|
filename = self.io.filename
|
|
if not filename:
|
|
tkMessageBox.showerror(
|
|
"No filename",
|
|
"This buffer has no associated filename",
|
|
master=self.text)
|
|
self.text.focus_set()
|
|
return None
|
|
head, tail = os.path.split(filename)
|
|
base, ext = os.path.splitext(tail)
|
|
import ClassBrowser
|
|
ClassBrowser.ClassBrowser(self.flist, base, [head])
|
|
|
|
def open_path_browser(self, event=None):
|
|
import PathBrowser
|
|
PathBrowser.PathBrowser(self.flist)
|
|
|
|
def gotoline(self, lineno):
|
|
if lineno is not None and lineno > 0:
|
|
self.text.mark_set("insert", "%d.0" % lineno)
|
|
self.text.tag_remove("sel", "1.0", "end")
|
|
self.text.tag_add("sel", "insert", "insert +1l")
|
|
self.center()
|
|
|
|
def ispythonsource(self, filename):
|
|
if not filename:
|
|
return True
|
|
base, ext = os.path.splitext(os.path.basename(filename))
|
|
if os.path.normcase(ext) in (".py", ".pyw"):
|
|
return True
|
|
try:
|
|
f = open(filename)
|
|
line = f.readline()
|
|
f.close()
|
|
except IOError:
|
|
return False
|
|
return line.startswith('#!') and 'python' in line
|
|
|
|
def close_hook(self):
|
|
if self.flist:
|
|
self.flist.close_edit(self)
|
|
|
|
def set_close_hook(self, close_hook):
|
|
self.close_hook = close_hook
|
|
|
|
def filename_change_hook(self):
|
|
if self.flist:
|
|
self.flist.filename_changed_edit(self)
|
|
self.saved_change_hook()
|
|
if self.ispythonsource(self.io.filename):
|
|
self.addcolorizer()
|
|
else:
|
|
self.rmcolorizer()
|
|
|
|
def addcolorizer(self):
|
|
if self.color:
|
|
return
|
|
##print "Add colorizer"
|
|
self.per.removefilter(self.undo)
|
|
self.color = self.ColorDelegator()
|
|
self.per.insertfilter(self.color)
|
|
self.per.insertfilter(self.undo)
|
|
|
|
def rmcolorizer(self):
|
|
if not self.color:
|
|
return
|
|
##print "Remove colorizer"
|
|
self.per.removefilter(self.undo)
|
|
self.per.removefilter(self.color)
|
|
self.color = None
|
|
self.per.insertfilter(self.undo)
|
|
|
|
def ResetColorizer(self):
|
|
"Update the colour theme if it is changed"
|
|
# Called from configDialog.py
|
|
if self.color:
|
|
self.color = self.ColorDelegator()
|
|
self.per.insertfilter(self.color)
|
|
|
|
def ResetFont(self):
|
|
"Update the text widgets' font if it is changed"
|
|
# Called from configDialog.py
|
|
fontWeight='normal'
|
|
if idleConf.GetOption('main','EditorWindow','font-bold',type='bool'):
|
|
fontWeight='bold'
|
|
self.text.config(font=(idleConf.GetOption('main','EditorWindow','font'),
|
|
idleConf.GetOption('main','EditorWindow','font-size'),
|
|
fontWeight))
|
|
|
|
def ResetKeybindings(self):
|
|
"Update the keybindings if they are changed"
|
|
# Called from configDialog.py
|
|
self.Bindings.default_keydefs=idleConf.GetCurrentKeySet()
|
|
keydefs = self.Bindings.default_keydefs
|
|
for event, keylist in keydefs.items():
|
|
self.text.event_delete(event)
|
|
self.apply_bindings()
|
|
#update menu accelerators
|
|
menuEventDict={}
|
|
for menu in self.Bindings.menudefs:
|
|
menuEventDict[menu[0]]={}
|
|
for item in menu[1]:
|
|
if item:
|
|
menuEventDict[menu[0]][prepstr(item[0])[1]]=item[1]
|
|
for menubarItem in self.menudict.keys():
|
|
menu=self.menudict[menubarItem]
|
|
end=menu.index(END)+1
|
|
for index in range(0,end):
|
|
if menu.type(index)=='command':
|
|
accel=menu.entrycget(index,'accelerator')
|
|
if accel:
|
|
itemName=menu.entrycget(index,'label')
|
|
event=''
|
|
if menuEventDict.has_key(menubarItem):
|
|
if menuEventDict[menubarItem].has_key(itemName):
|
|
event=menuEventDict[menubarItem][itemName]
|
|
if event:
|
|
#print 'accel was:',accel
|
|
accel=get_accelerator(keydefs, event)
|
|
menu.entryconfig(index,accelerator=accel)
|
|
#print 'accel now:',accel,'\n'
|
|
|
|
def ResetExtraHelpMenu(self):
|
|
"Load or update the Extra Help menu if required"
|
|
menuList=idleConf.GetAllExtraHelpSourcesList()
|
|
helpMenu=self.menudict['help']
|
|
cascadeIndex=helpMenu.index(END)-1
|
|
if menuList:
|
|
if not hasattr(self,'menuExtraHelp'):
|
|
self.menuExtraHelp=Menu(self.menubar)
|
|
helpMenu.insert_cascade(cascadeIndex,label='Extra Help',
|
|
underline=1,menu=self.menuExtraHelp)
|
|
self.menuExtraHelp.delete(1,END)
|
|
for menuItem in menuList:
|
|
self.menuExtraHelp.add_command(label=menuItem[0],
|
|
command=self.__DisplayExtraHelpCallback(menuItem[1]))
|
|
else: #no extra help items
|
|
if hasattr(self,'menuExtraHelp'):
|
|
helpMenu.delete(cascadeIndex-1)
|
|
del(self.menuExtraHelp)
|
|
|
|
def __DisplayExtraHelpCallback(self,helpFile):
|
|
def DisplayExtraHelp(helpFile=helpFile):
|
|
self.display_docs(helpFile)
|
|
return DisplayExtraHelp
|
|
|
|
def UpdateRecentFilesList(self,newFile=None):
|
|
"Load or update the recent files list, and menu if required"
|
|
rfList=[]
|
|
if os.path.exists(self.recentFilesPath):
|
|
RFfile=open(self.recentFilesPath,'r')
|
|
try:
|
|
rfList=RFfile.readlines()
|
|
finally:
|
|
RFfile.close()
|
|
if newFile:
|
|
newFile=os.path.abspath(newFile)+'\n'
|
|
if newFile in rfList:
|
|
rfList.remove(newFile)
|
|
rfList.insert(0,newFile)
|
|
rfList=self.__CleanRecentFiles(rfList)
|
|
#print self.flist.inversedict
|
|
#print self.top.instanceDict
|
|
#print self
|
|
if rfList:
|
|
for instance in self.top.instanceDict.keys():
|
|
instance.menuRecentFiles.delete(1,END)
|
|
for file in rfList:
|
|
fileName=file[0:-1]
|
|
instance.menuRecentFiles.add_command(label=fileName,
|
|
command=instance.__RecentFileCallback(fileName))
|
|
|
|
def __CleanRecentFiles(self,rfList):
|
|
origRfList=rfList[:]
|
|
count=0
|
|
nonFiles=[]
|
|
for path in rfList:
|
|
if not os.path.exists(path[0:-1]):
|
|
nonFiles.append(count)
|
|
count=count+1
|
|
if nonFiles:
|
|
nonFiles.reverse()
|
|
for index in nonFiles:
|
|
del(rfList[index])
|
|
if len(rfList)>19:
|
|
rfList=rfList[0:19]
|
|
#if rfList != origRfList:
|
|
RFfile=open(self.recentFilesPath,'w')
|
|
try:
|
|
RFfile.writelines(rfList)
|
|
finally:
|
|
RFfile.close()
|
|
return rfList
|
|
|
|
def __RecentFileCallback(self,fileName):
|
|
def OpenRecentFile(fileName=fileName):
|
|
self.io.open(editFile=fileName)
|
|
return OpenRecentFile
|
|
|
|
def saved_change_hook(self):
|
|
short = self.short_title()
|
|
long = self.long_title()
|
|
if short and long:
|
|
title = short + " - " + long
|
|
elif short:
|
|
title = short
|
|
elif long:
|
|
title = long
|
|
else:
|
|
title = "Untitled"
|
|
icon = short or long or title
|
|
if not self.get_saved():
|
|
title = "*%s*" % title
|
|
icon = "*%s" % icon
|
|
if self.break_set:
|
|
shell = self.flist.pyshell
|
|
shell.interp.debugger.clear_file_breaks(self)
|
|
self.top.wm_title(title)
|
|
self.top.wm_iconname(icon)
|
|
|
|
def get_saved(self):
|
|
return self.undo.get_saved()
|
|
|
|
def set_saved(self, flag):
|
|
self.undo.set_saved(flag)
|
|
|
|
def reset_undo(self):
|
|
self.undo.reset_undo()
|
|
|
|
def short_title(self):
|
|
filename = self.io.filename
|
|
if filename:
|
|
filename = os.path.basename(filename)
|
|
return filename
|
|
|
|
def long_title(self):
|
|
return self.io.filename or ""
|
|
|
|
def center_insert_event(self, event):
|
|
self.center()
|
|
|
|
def center(self, mark="insert"):
|
|
text = self.text
|
|
top, bot = self.getwindowlines()
|
|
lineno = self.getlineno(mark)
|
|
height = bot - top
|
|
newtop = max(1, lineno - height//2)
|
|
text.yview(float(newtop))
|
|
|
|
def getwindowlines(self):
|
|
text = self.text
|
|
top = self.getlineno("@0,0")
|
|
bot = self.getlineno("@0,65535")
|
|
if top == bot and text.winfo_height() == 1:
|
|
# Geometry manager hasn't run yet
|
|
height = int(text['height'])
|
|
bot = top + height - 1
|
|
return top, bot
|
|
|
|
def getlineno(self, mark="insert"):
|
|
text = self.text
|
|
return int(float(text.index(mark)))
|
|
|
|
def close_event(self, event):
|
|
self.close()
|
|
|
|
def maybesave(self):
|
|
if self.io:
|
|
if not self.get_saved():
|
|
if self.top.state()!='normal':
|
|
self.top.deiconify()
|
|
self.top.lower()
|
|
self.top.lift()
|
|
return self.io.maybesave()
|
|
|
|
def close(self):
|
|
reply = self.maybesave()
|
|
if reply != "cancel":
|
|
self._close()
|
|
return reply
|
|
|
|
def _close(self):
|
|
#print self.io.filename
|
|
if self.io.filename:
|
|
self.UpdateRecentFilesList(newFile=self.io.filename)
|
|
if self.break_set:
|
|
shell = self.flist.pyshell
|
|
shell.interp.debugger.clear_file_breaks(self)
|
|
WindowList.unregister_callback(self.postwindowsmenu)
|
|
if self.close_hook:
|
|
self.close_hook()
|
|
self.flist = None
|
|
colorizing = 0
|
|
self.unload_extensions()
|
|
self.io.close(); self.io = None
|
|
self.undo = None # XXX
|
|
if self.color:
|
|
colorizing = self.color.colorizing
|
|
doh = colorizing and self.top
|
|
self.color.close(doh) # Cancel colorization
|
|
self.text = None
|
|
self.vars = None
|
|
self.per.close(); self.per = None
|
|
if not colorizing:
|
|
self.top.destroy()
|
|
|
|
def load_extensions(self):
|
|
self.extensions = {}
|
|
self.load_standard_extensions()
|
|
|
|
def unload_extensions(self):
|
|
for ins in self.extensions.values():
|
|
if hasattr(ins, "close"):
|
|
ins.close()
|
|
self.extensions = {}
|
|
|
|
def load_standard_extensions(self):
|
|
for name in self.get_standard_extension_names():
|
|
try:
|
|
self.load_extension(name)
|
|
except:
|
|
print "Failed to load extension", `name`
|
|
import traceback
|
|
traceback.print_exc()
|
|
|
|
def get_standard_extension_names(self):
|
|
return idleConf.GetExtensions()
|
|
|
|
def load_extension(self, name):
|
|
mod = __import__(name, globals(), locals(), [])
|
|
cls = getattr(mod, name)
|
|
ins = cls(self)
|
|
self.extensions[name] = ins
|
|
keydefs=idleConf.GetExtensionBindings(name)
|
|
if keydefs:
|
|
self.apply_bindings(keydefs)
|
|
for vevent in keydefs.keys():
|
|
methodname = vevent.replace("-", "_")
|
|
while methodname[:1] == '<':
|
|
methodname = methodname[1:]
|
|
while methodname[-1:] == '>':
|
|
methodname = methodname[:-1]
|
|
methodname = methodname + "_event"
|
|
if hasattr(ins, methodname):
|
|
self.text.bind(vevent, getattr(ins, methodname))
|
|
if hasattr(ins, "menudefs"):
|
|
self.fill_menus(ins.menudefs, keydefs)
|
|
return ins
|
|
|
|
def apply_bindings(self, keydefs=None):
|
|
if keydefs is None:
|
|
keydefs = self.Bindings.default_keydefs
|
|
text = self.text
|
|
text.keydefs = keydefs
|
|
for event, keylist in keydefs.items():
|
|
if keylist:
|
|
apply(text.event_add, (event,) + tuple(keylist))
|
|
|
|
def fill_menus(self, defs=None, keydefs=None):
|
|
"""Add appropriate entries to the menus and submenus
|
|
|
|
Menus that are absent or None in self.menudict are ignored.
|
|
"""
|
|
if defs is None:
|
|
defs = self.Bindings.menudefs
|
|
if keydefs is None:
|
|
keydefs = self.Bindings.default_keydefs
|
|
menudict = self.menudict
|
|
text = self.text
|
|
for mname, itemlist in defs:
|
|
menu = menudict.get(mname)
|
|
if not menu:
|
|
continue
|
|
for item in itemlist:
|
|
if not item:
|
|
menu.add_separator()
|
|
else:
|
|
label, event = item
|
|
checkbutton = (label[:1] == '!')
|
|
if checkbutton:
|
|
label = label[1:]
|
|
underline, label = prepstr(label)
|
|
accelerator = get_accelerator(keydefs, event)
|
|
def command(text=text, event=event):
|
|
text.event_generate(event)
|
|
if checkbutton:
|
|
var = self.getrawvar(event, BooleanVar)
|
|
menu.add_checkbutton(label=label, underline=underline,
|
|
command=command, accelerator=accelerator,
|
|
variable=var)
|
|
else:
|
|
menu.add_command(label=label, underline=underline,
|
|
command=command, accelerator=accelerator)
|
|
|
|
def getvar(self, name):
|
|
var = self.getrawvar(name)
|
|
if var:
|
|
return var.get()
|
|
|
|
def setvar(self, name, value, vartype=None):
|
|
var = self.getrawvar(name, vartype)
|
|
if var:
|
|
var.set(value)
|
|
|
|
def getrawvar(self, name, vartype=None):
|
|
var = self.vars.get(name)
|
|
if not var and vartype:
|
|
self.vars[name] = var = vartype(self.text)
|
|
return var
|
|
|
|
# Tk implementations of "virtual text methods" -- each platform
|
|
# reusing IDLE's support code needs to define these for its GUI's
|
|
# flavor of widget.
|
|
|
|
# Is character at text_index in a Python string? Return 0 for
|
|
# "guaranteed no", true for anything else. This info is expensive
|
|
# to compute ab initio, but is probably already known by the
|
|
# platform's colorizer.
|
|
|
|
def is_char_in_string(self, text_index):
|
|
if self.color:
|
|
# Return true iff colorizer hasn't (re)gotten this far
|
|
# yet, or the character is tagged as being in a string
|
|
return self.text.tag_prevrange("TODO", text_index) or \
|
|
"STRING" in self.text.tag_names(text_index)
|
|
else:
|
|
# The colorizer is missing: assume the worst
|
|
return 1
|
|
|
|
# If a selection is defined in the text widget, return (start,
|
|
# end) as Tkinter text indices, otherwise return (None, None)
|
|
def get_selection_indices(self):
|
|
try:
|
|
first = self.text.index("sel.first")
|
|
last = self.text.index("sel.last")
|
|
return first, last
|
|
except TclError:
|
|
return None, None
|
|
|
|
# Return the text widget's current view of what a tab stop means
|
|
# (equivalent width in spaces).
|
|
|
|
def get_tabwidth(self):
|
|
current = self.text['tabs'] or TK_TABWIDTH_DEFAULT
|
|
return int(current)
|
|
|
|
# Set the text widget's current view of what a tab stop means.
|
|
|
|
def set_tabwidth(self, newtabwidth):
|
|
text = self.text
|
|
if self.get_tabwidth() != newtabwidth:
|
|
pixels = text.tk.call("font", "measure", text["font"],
|
|
"-displayof", text.master,
|
|
"n" * newtabwidth)
|
|
text.configure(tabs=pixels)
|
|
|
|
### begin autoindent code ###
|
|
|
|
# usetabs true -> literal tab characters are used by indent and
|
|
# dedent cmds, possibly mixed with spaces if
|
|
# indentwidth is not a multiple of tabwidth
|
|
# false -> tab characters are converted to spaces by indent
|
|
# and dedent cmds, and ditto TAB keystrokes
|
|
# indentwidth is the number of characters per logical indent level.
|
|
# tabwidth is the display width of a literal tab character.
|
|
# CAUTION: telling Tk to use anything other than its default
|
|
# tab setting causes it to use an entirely different tabbing algorithm,
|
|
# treating tab stops as fixed distances from the left margin.
|
|
# Nobody expects this, so for now tabwidth should never be changed.
|
|
usetabs = 0
|
|
indentwidth = 4
|
|
tabwidth = 8 # for IDLE use, must remain 8 until Tk is fixed
|
|
|
|
# If context_use_ps1 is true, parsing searches back for a ps1 line;
|
|
# else searches for a popular (if, def, ...) Python stmt.
|
|
context_use_ps1 = 0
|
|
|
|
# When searching backwards for a reliable place to begin parsing,
|
|
# first start num_context_lines[0] lines back, then
|
|
# num_context_lines[1] lines back if that didn't work, and so on.
|
|
# The last value should be huge (larger than the # of lines in a
|
|
# conceivable file).
|
|
# Making the initial values larger slows things down more often.
|
|
num_context_lines = 50, 500, 5000000
|
|
|
|
def config(self, **options):
|
|
for key, value in options.items():
|
|
if key == 'usetabs':
|
|
self.usetabs = value
|
|
elif key == 'indentwidth':
|
|
self.indentwidth = value
|
|
elif key == 'tabwidth':
|
|
self.tabwidth = value
|
|
elif key == 'context_use_ps1':
|
|
self.context_use_ps1 = value
|
|
else:
|
|
raise KeyError, "bad option name: %s" % `key`
|
|
|
|
# If ispythonsource and guess are true, guess a good value for
|
|
# indentwidth based on file content (if possible), and if
|
|
# indentwidth != tabwidth set usetabs false.
|
|
# In any case, adjust the Text widget's view of what a tab
|
|
# character means.
|
|
|
|
def set_indentation_params(self, ispythonsource, guess=1):
|
|
if guess and ispythonsource:
|
|
i = self.guess_indent()
|
|
if 2 <= i <= 8:
|
|
self.indentwidth = i
|
|
if self.indentwidth != self.tabwidth:
|
|
self.usetabs = 0
|
|
|
|
self.set_tabwidth(self.tabwidth)
|
|
|
|
def smart_backspace_event(self, event):
|
|
text = self.text
|
|
first, last = self.get_selection_indices()
|
|
if first and last:
|
|
text.delete(first, last)
|
|
text.mark_set("insert", first)
|
|
return "break"
|
|
# Delete whitespace left, until hitting a real char or closest
|
|
# preceding virtual tab stop.
|
|
chars = text.get("insert linestart", "insert")
|
|
if chars == '':
|
|
if text.compare("insert", ">", "1.0"):
|
|
# easy: delete preceding newline
|
|
text.delete("insert-1c")
|
|
else:
|
|
text.bell() # at start of buffer
|
|
return "break"
|
|
if chars[-1] not in " \t":
|
|
# easy: delete preceding real char
|
|
text.delete("insert-1c")
|
|
return "break"
|
|
# Ick. It may require *inserting* spaces if we back up over a
|
|
# tab character! This is written to be clear, not fast.
|
|
tabwidth = self.tabwidth
|
|
have = len(chars.expandtabs(tabwidth))
|
|
assert have > 0
|
|
want = ((have - 1) // self.indentwidth) * self.indentwidth
|
|
ncharsdeleted = 0
|
|
while 1:
|
|
chars = chars[:-1]
|
|
ncharsdeleted = ncharsdeleted + 1
|
|
have = len(chars.expandtabs(tabwidth))
|
|
if have <= want or chars[-1] not in " \t":
|
|
break
|
|
text.undo_block_start()
|
|
text.delete("insert-%dc" % ncharsdeleted, "insert")
|
|
if have < want:
|
|
text.insert("insert", ' ' * (want - have))
|
|
text.undo_block_stop()
|
|
return "break"
|
|
|
|
def smart_indent_event(self, event):
|
|
# if intraline selection:
|
|
# delete it
|
|
# elif multiline selection:
|
|
# do indent-region & return
|
|
# indent one level
|
|
text = self.text
|
|
first, last = self.get_selection_indices()
|
|
text.undo_block_start()
|
|
try:
|
|
if first and last:
|
|
if index2line(first) != index2line(last):
|
|
return self.indent_region_event(event)
|
|
text.delete(first, last)
|
|
text.mark_set("insert", first)
|
|
prefix = text.get("insert linestart", "insert")
|
|
raw, effective = classifyws(prefix, self.tabwidth)
|
|
if raw == len(prefix):
|
|
# only whitespace to the left
|
|
self.reindent_to(effective + self.indentwidth)
|
|
else:
|
|
if self.usetabs:
|
|
pad = '\t'
|
|
else:
|
|
effective = len(prefix.expandtabs(self.tabwidth))
|
|
n = self.indentwidth
|
|
pad = ' ' * (n - effective % n)
|
|
text.insert("insert", pad)
|
|
text.see("insert")
|
|
return "break"
|
|
finally:
|
|
text.undo_block_stop()
|
|
|
|
def newline_and_indent_event(self, event):
|
|
text = self.text
|
|
first, last = self.get_selection_indices()
|
|
text.undo_block_start()
|
|
try:
|
|
if first and last:
|
|
text.delete(first, last)
|
|
text.mark_set("insert", first)
|
|
line = text.get("insert linestart", "insert")
|
|
i, n = 0, len(line)
|
|
while i < n and line[i] in " \t":
|
|
i = i+1
|
|
if i == n:
|
|
# the cursor is in or at leading indentation; just inject
|
|
# an empty line at the start
|
|
text.insert("insert linestart", '\n')
|
|
return "break"
|
|
indent = line[:i]
|
|
# strip whitespace before insert point
|
|
i = 0
|
|
while line and line[-1] in " \t":
|
|
line = line[:-1]
|
|
i = i+1
|
|
if i:
|
|
text.delete("insert - %d chars" % i, "insert")
|
|
# strip whitespace after insert point
|
|
while text.get("insert") in " \t":
|
|
text.delete("insert")
|
|
# start new line
|
|
text.insert("insert", '\n')
|
|
|
|
# adjust indentation for continuations and block
|
|
# open/close first need to find the last stmt
|
|
lno = index2line(text.index('insert'))
|
|
y = PyParse.Parser(self.indentwidth, self.tabwidth)
|
|
for context in self.num_context_lines:
|
|
startat = max(lno - context, 1)
|
|
startatindex = `startat` + ".0"
|
|
rawtext = text.get(startatindex, "insert")
|
|
y.set_str(rawtext)
|
|
bod = y.find_good_parse_start(
|
|
self.context_use_ps1,
|
|
self._build_char_in_string_func(startatindex))
|
|
if bod is not None or startat == 1:
|
|
break
|
|
y.set_lo(bod or 0)
|
|
c = y.get_continuation_type()
|
|
if c != PyParse.C_NONE:
|
|
# The current stmt hasn't ended yet.
|
|
if c == PyParse.C_STRING:
|
|
# inside a string; just mimic the current indent
|
|
text.insert("insert", indent)
|
|
elif c == PyParse.C_BRACKET:
|
|
# line up with the first (if any) element of the
|
|
# last open bracket structure; else indent one
|
|
# level beyond the indent of the line with the
|
|
# last open bracket
|
|
self.reindent_to(y.compute_bracket_indent())
|
|
elif c == PyParse.C_BACKSLASH:
|
|
# if more than one line in this stmt already, just
|
|
# mimic the current indent; else if initial line
|
|
# has a start on an assignment stmt, indent to
|
|
# beyond leftmost =; else to beyond first chunk of
|
|
# non-whitespace on initial line
|
|
if y.get_num_lines_in_stmt() > 1:
|
|
text.insert("insert", indent)
|
|
else:
|
|
self.reindent_to(y.compute_backslash_indent())
|
|
else:
|
|
assert 0, "bogus continuation type " + `c`
|
|
return "break"
|
|
|
|
# This line starts a brand new stmt; indent relative to
|
|
# indentation of initial line of closest preceding
|
|
# interesting stmt.
|
|
indent = y.get_base_indent_string()
|
|
text.insert("insert", indent)
|
|
if y.is_block_opener():
|
|
self.smart_indent_event(event)
|
|
elif indent and y.is_block_closer():
|
|
self.smart_backspace_event(event)
|
|
return "break"
|
|
finally:
|
|
text.see("insert")
|
|
text.undo_block_stop()
|
|
|
|
auto_indent = newline_and_indent_event
|
|
|
|
# Our editwin provides a is_char_in_string function that works
|
|
# with a Tk text index, but PyParse only knows about offsets into
|
|
# a string. This builds a function for PyParse that accepts an
|
|
# offset.
|
|
|
|
def _build_char_in_string_func(self, startindex):
|
|
def inner(offset, _startindex=startindex,
|
|
_icis=self.is_char_in_string):
|
|
return _icis(_startindex + "+%dc" % offset)
|
|
return inner
|
|
|
|
def indent_region_event(self, event):
|
|
head, tail, chars, lines = self.get_region()
|
|
for pos in range(len(lines)):
|
|
line = lines[pos]
|
|
if line:
|
|
raw, effective = classifyws(line, self.tabwidth)
|
|
effective = effective + self.indentwidth
|
|
lines[pos] = self._make_blanks(effective) + line[raw:]
|
|
self.set_region(head, tail, chars, lines)
|
|
return "break"
|
|
|
|
def dedent_region_event(self, event):
|
|
head, tail, chars, lines = self.get_region()
|
|
for pos in range(len(lines)):
|
|
line = lines[pos]
|
|
if line:
|
|
raw, effective = classifyws(line, self.tabwidth)
|
|
effective = max(effective - self.indentwidth, 0)
|
|
lines[pos] = self._make_blanks(effective) + line[raw:]
|
|
self.set_region(head, tail, chars, lines)
|
|
return "break"
|
|
|
|
def comment_region_event(self, event):
|
|
head, tail, chars, lines = self.get_region()
|
|
for pos in range(len(lines) - 1):
|
|
line = lines[pos]
|
|
lines[pos] = '##' + line
|
|
self.set_region(head, tail, chars, lines)
|
|
|
|
def uncomment_region_event(self, event):
|
|
head, tail, chars, lines = self.get_region()
|
|
for pos in range(len(lines)):
|
|
line = lines[pos]
|
|
if not line:
|
|
continue
|
|
if line[:2] == '##':
|
|
line = line[2:]
|
|
elif line[:1] == '#':
|
|
line = line[1:]
|
|
lines[pos] = line
|
|
self.set_region(head, tail, chars, lines)
|
|
|
|
def tabify_region_event(self, event):
|
|
head, tail, chars, lines = self.get_region()
|
|
tabwidth = self._asktabwidth()
|
|
for pos in range(len(lines)):
|
|
line = lines[pos]
|
|
if line:
|
|
raw, effective = classifyws(line, tabwidth)
|
|
ntabs, nspaces = divmod(effective, tabwidth)
|
|
lines[pos] = '\t' * ntabs + ' ' * nspaces + line[raw:]
|
|
self.set_region(head, tail, chars, lines)
|
|
|
|
def untabify_region_event(self, event):
|
|
head, tail, chars, lines = self.get_region()
|
|
tabwidth = self._asktabwidth()
|
|
for pos in range(len(lines)):
|
|
lines[pos] = lines[pos].expandtabs(tabwidth)
|
|
self.set_region(head, tail, chars, lines)
|
|
|
|
def toggle_tabs_event(self, event):
|
|
if self.askyesno(
|
|
"Toggle tabs",
|
|
"Turn tabs " + ("on", "off")[self.usetabs] + "?",
|
|
parent=self.text):
|
|
self.usetabs = not self.usetabs
|
|
return "break"
|
|
|
|
# XXX this isn't bound to anything -- see class tabwidth comments
|
|
def change_tabwidth_event(self, event):
|
|
new = self._asktabwidth()
|
|
if new != self.tabwidth:
|
|
self.tabwidth = new
|
|
self.set_indentation_params(0, guess=0)
|
|
return "break"
|
|
|
|
def change_indentwidth_event(self, event):
|
|
new = self.askinteger(
|
|
"Indent width",
|
|
"New indent width (2-16)",
|
|
parent=self.text,
|
|
initialvalue=self.indentwidth,
|
|
minvalue=2,
|
|
maxvalue=16)
|
|
if new and new != self.indentwidth:
|
|
self.indentwidth = new
|
|
return "break"
|
|
|
|
def get_region(self):
|
|
text = self.text
|
|
first, last = self.get_selection_indices()
|
|
if first and last:
|
|
head = text.index(first + " linestart")
|
|
tail = text.index(last + "-1c lineend +1c")
|
|
else:
|
|
head = text.index("insert linestart")
|
|
tail = text.index("insert lineend +1c")
|
|
chars = text.get(head, tail)
|
|
lines = chars.split("\n")
|
|
return head, tail, chars, lines
|
|
|
|
def set_region(self, head, tail, chars, lines):
|
|
text = self.text
|
|
newchars = "\n".join(lines)
|
|
if newchars == chars:
|
|
text.bell()
|
|
return
|
|
text.tag_remove("sel", "1.0", "end")
|
|
text.mark_set("insert", head)
|
|
text.undo_block_start()
|
|
text.delete(head, tail)
|
|
text.insert(head, newchars)
|
|
text.undo_block_stop()
|
|
text.tag_add("sel", head, "insert")
|
|
|
|
# Make string that displays as n leading blanks.
|
|
|
|
def _make_blanks(self, n):
|
|
if self.usetabs:
|
|
ntabs, nspaces = divmod(n, self.tabwidth)
|
|
return '\t' * ntabs + ' ' * nspaces
|
|
else:
|
|
return ' ' * n
|
|
|
|
# Delete from beginning of line to insert point, then reinsert
|
|
# column logical (meaning use tabs if appropriate) spaces.
|
|
|
|
def reindent_to(self, column):
|
|
text = self.text
|
|
text.undo_block_start()
|
|
if text.compare("insert linestart", "!=", "insert"):
|
|
text.delete("insert linestart", "insert")
|
|
if column:
|
|
text.insert("insert", self._make_blanks(column))
|
|
text.undo_block_stop()
|
|
|
|
def _asktabwidth(self):
|
|
return self.askinteger(
|
|
"Tab width",
|
|
"Spaces per tab? (2-16)",
|
|
parent=self.text,
|
|
initialvalue=self.indentwidth,
|
|
minvalue=2,
|
|
maxvalue=16) or self.tabwidth
|
|
|
|
# Guess indentwidth from text content.
|
|
# Return guessed indentwidth. This should not be believed unless
|
|
# it's in a reasonable range (e.g., it will be 0 if no indented
|
|
# blocks are found).
|
|
|
|
def guess_indent(self):
|
|
opener, indented = IndentSearcher(self.text, self.tabwidth).run()
|
|
if opener and indented:
|
|
raw, indentsmall = classifyws(opener, self.tabwidth)
|
|
raw, indentlarge = classifyws(indented, self.tabwidth)
|
|
else:
|
|
indentsmall = indentlarge = 0
|
|
return indentlarge - indentsmall
|
|
|
|
# "line.col" -> line, as an int
|
|
def index2line(index):
|
|
return int(float(index))
|
|
|
|
# Look at the leading whitespace in s.
|
|
# Return pair (# of leading ws characters,
|
|
# effective # of leading blanks after expanding
|
|
# tabs to width tabwidth)
|
|
|
|
def classifyws(s, tabwidth):
|
|
raw = effective = 0
|
|
for ch in s:
|
|
if ch == ' ':
|
|
raw = raw + 1
|
|
effective = effective + 1
|
|
elif ch == '\t':
|
|
raw = raw + 1
|
|
effective = (effective // tabwidth + 1) * tabwidth
|
|
else:
|
|
break
|
|
return raw, effective
|
|
|
|
import tokenize
|
|
_tokenize = tokenize
|
|
del tokenize
|
|
|
|
class IndentSearcher:
|
|
|
|
# .run() chews over the Text widget, looking for a block opener
|
|
# and the stmt following it. Returns a pair,
|
|
# (line containing block opener, line containing stmt)
|
|
# Either or both may be None.
|
|
|
|
def __init__(self, text, tabwidth):
|
|
self.text = text
|
|
self.tabwidth = tabwidth
|
|
self.i = self.finished = 0
|
|
self.blkopenline = self.indentedline = None
|
|
|
|
def readline(self):
|
|
if self.finished:
|
|
return ""
|
|
i = self.i = self.i + 1
|
|
mark = `i` + ".0"
|
|
if self.text.compare(mark, ">=", "end"):
|
|
return ""
|
|
return self.text.get(mark, mark + " lineend+1c")
|
|
|
|
def tokeneater(self, type, token, start, end, line,
|
|
INDENT=_tokenize.INDENT,
|
|
NAME=_tokenize.NAME,
|
|
OPENERS=('class', 'def', 'for', 'if', 'try', 'while')):
|
|
if self.finished:
|
|
pass
|
|
elif type == NAME and token in OPENERS:
|
|
self.blkopenline = line
|
|
elif type == INDENT and self.blkopenline:
|
|
self.indentedline = line
|
|
self.finished = 1
|
|
|
|
def run(self):
|
|
save_tabsize = _tokenize.tabsize
|
|
_tokenize.tabsize = self.tabwidth
|
|
try:
|
|
try:
|
|
_tokenize.tokenize(self.readline, self.tokeneater)
|
|
except _tokenize.TokenError:
|
|
# since we cut off the tokenizer early, we can trigger
|
|
# spurious errors
|
|
pass
|
|
finally:
|
|
_tokenize.tabsize = save_tabsize
|
|
return self.blkopenline, self.indentedline
|
|
|
|
### end autoindent code ###
|
|
|
|
def prepstr(s):
|
|
# Helper to extract the underscore from a string, e.g.
|
|
# prepstr("Co_py") returns (2, "Copy").
|
|
i = s.find('_')
|
|
if i >= 0:
|
|
s = s[:i] + s[i+1:]
|
|
return i, s
|
|
|
|
|
|
keynames = {
|
|
'bracketleft': '[',
|
|
'bracketright': ']',
|
|
'slash': '/',
|
|
}
|
|
|
|
def get_accelerator(keydefs, event):
|
|
keylist = keydefs.get(event)
|
|
if not keylist:
|
|
return ""
|
|
s = keylist[0]
|
|
s = re.sub(r"-[a-z]\b", lambda m: m.group().upper(), s)
|
|
s = re.sub(r"\b\w+\b", lambda m: keynames.get(m.group(), m.group()), s)
|
|
s = re.sub("Key-", "", s)
|
|
s = re.sub("Cancel","Ctrl-Break",s) # dscherer@cmu.edu
|
|
s = re.sub("Control-", "Ctrl-", s)
|
|
s = re.sub("-", "+", s)
|
|
s = re.sub("><", " ", s)
|
|
s = re.sub("<", "", s)
|
|
s = re.sub(">", "", s)
|
|
return s
|
|
|
|
|
|
def fixwordbreaks(root):
|
|
# Make sure that Tk's double-click and next/previous word
|
|
# operations use our definition of a word (i.e. an identifier)
|
|
tk = root.tk
|
|
tk.call('tcl_wordBreakAfter', 'a b', 0) # make sure word.tcl is loaded
|
|
tk.call('set', 'tcl_wordchars', '[a-zA-Z0-9_]')
|
|
tk.call('set', 'tcl_nonwordchars', '[^a-zA-Z0-9_]')
|
|
|
|
|
|
def test():
|
|
root = Tk()
|
|
fixwordbreaks(root)
|
|
root.withdraw()
|
|
if sys.argv[1:]:
|
|
filename = sys.argv[1]
|
|
else:
|
|
filename = None
|
|
edit = EditorWindow(root=root, filename=filename)
|
|
edit.set_close_hook(root.quit)
|
|
root.mainloop()
|
|
root.destroy()
|
|
|
|
if __name__ == '__main__':
|
|
test()
|