2016-05-28 14:22:31 -03:00
|
|
|
from idlelib.delegator import Delegator
|
2016-08-31 01:50:55 -03:00
|
|
|
from idlelib.redirector import WidgetRedirector
|
2000-08-14 22:13:23 -03:00
|
|
|
|
2016-05-17 23:48:22 -03:00
|
|
|
|
2000-08-14 22:13:23 -03:00
|
|
|
class Percolator:
|
|
|
|
|
|
|
|
def __init__(self, text):
|
|
|
|
# XXX would be nice to inherit from Delegator
|
|
|
|
self.text = text
|
|
|
|
self.redir = WidgetRedirector(text)
|
|
|
|
self.top = self.bottom = Delegator(text)
|
|
|
|
self.bottom.insert = self.redir.register("insert", self.insert)
|
|
|
|
self.bottom.delete = self.redir.register("delete", self.delete)
|
|
|
|
self.filters = []
|
|
|
|
|
|
|
|
def close(self):
|
|
|
|
while self.top is not self.bottom:
|
|
|
|
self.removefilter(self.top)
|
|
|
|
self.top = None
|
2016-05-17 23:48:22 -03:00
|
|
|
self.bottom.setdelegate(None)
|
|
|
|
self.bottom = None
|
|
|
|
self.redir.close()
|
|
|
|
self.redir = None
|
2000-08-14 22:13:23 -03:00
|
|
|
self.text = None
|
|
|
|
|
|
|
|
def insert(self, index, chars, tags=None):
|
|
|
|
# Could go away if inheriting from Delegator
|
|
|
|
self.top.insert(index, chars, tags)
|
|
|
|
|
|
|
|
def delete(self, index1, index2=None):
|
|
|
|
# Could go away if inheriting from Delegator
|
|
|
|
self.top.delete(index1, index2)
|
|
|
|
|
|
|
|
def insertfilter(self, filter):
|
|
|
|
# Perhaps rename to pushfilter()?
|
|
|
|
assert isinstance(filter, Delegator)
|
|
|
|
assert filter.delegate is None
|
|
|
|
filter.setdelegate(self.top)
|
|
|
|
self.top = filter
|
|
|
|
|
|
|
|
def removefilter(self, filter):
|
|
|
|
# XXX Perhaps should only support popfilter()?
|
|
|
|
assert isinstance(filter, Delegator)
|
|
|
|
assert filter.delegate is not None
|
|
|
|
f = self.top
|
|
|
|
if f is filter:
|
|
|
|
self.top = filter.delegate
|
|
|
|
filter.setdelegate(None)
|
|
|
|
else:
|
|
|
|
while f.delegate is not filter:
|
|
|
|
assert f is not self.bottom
|
|
|
|
f.resetcache()
|
|
|
|
f = f.delegate
|
|
|
|
f.setdelegate(filter.delegate)
|
|
|
|
filter.setdelegate(None)
|
|
|
|
|
2016-05-17 23:48:22 -03:00
|
|
|
|
|
|
|
def _percolator(parent): # htest #
|
2014-05-25 19:44:05 -03:00
|
|
|
import tkinter as tk
|
2016-05-17 23:48:22 -03:00
|
|
|
|
2000-08-14 22:13:23 -03:00
|
|
|
class Tracer(Delegator):
|
|
|
|
def __init__(self, name):
|
|
|
|
self.name = name
|
|
|
|
Delegator.__init__(self, None)
|
2016-05-17 23:48:22 -03:00
|
|
|
|
2000-08-14 22:13:23 -03:00
|
|
|
def insert(self, *args):
|
2007-02-09 01:37:30 -04:00
|
|
|
print(self.name, ": insert", args)
|
2003-07-09 15:48:24 -03:00
|
|
|
self.delegate.insert(*args)
|
2016-05-17 23:48:22 -03:00
|
|
|
|
2000-08-14 22:13:23 -03:00
|
|
|
def delete(self, *args):
|
2007-02-09 01:37:30 -04:00
|
|
|
print(self.name, ": delete", args)
|
2003-07-09 15:48:24 -03:00
|
|
|
self.delegate.delete(*args)
|
2016-05-17 23:48:22 -03:00
|
|
|
|
|
|
|
box = tk.Toplevel(parent)
|
|
|
|
box.title("Test Percolator")
|
2016-07-10 18:28:10 -03:00
|
|
|
x, y = map(int, parent.geometry().split('+')[1:])
|
|
|
|
box.geometry("+%d+%d" % (x, y + 175))
|
2016-05-17 23:48:22 -03:00
|
|
|
text = tk.Text(box)
|
2000-08-14 22:13:23 -03:00
|
|
|
p = Percolator(text)
|
2016-05-17 23:48:22 -03:00
|
|
|
pin = p.insertfilter
|
|
|
|
pout = p.removefilter
|
2000-08-14 22:13:23 -03:00
|
|
|
t1 = Tracer("t1")
|
|
|
|
t2 = Tracer("t2")
|
2014-05-25 19:44:05 -03:00
|
|
|
|
|
|
|
def toggle1():
|
2016-05-17 23:48:22 -03:00
|
|
|
(pin if var1.get() else pout)(t1)
|
2014-05-25 19:44:05 -03:00
|
|
|
def toggle2():
|
2016-05-17 23:48:22 -03:00
|
|
|
(pin if var2.get() else pout)(t2)
|
2014-05-25 19:44:05 -03:00
|
|
|
|
|
|
|
text.pack()
|
2016-06-21 19:41:38 -03:00
|
|
|
var1 = tk.IntVar(parent)
|
2016-05-17 23:48:22 -03:00
|
|
|
cb1 = tk.Checkbutton(box, text="Tracer1", command=toggle1, variable=var1)
|
2014-05-25 19:44:05 -03:00
|
|
|
cb1.pack()
|
2016-06-21 19:41:38 -03:00
|
|
|
var2 = tk.IntVar(parent)
|
2016-05-17 23:48:22 -03:00
|
|
|
cb2 = tk.Checkbutton(box, text="Tracer2", command=toggle2, variable=var2)
|
2014-05-25 19:44:05 -03:00
|
|
|
cb2.pack()
|
|
|
|
|
2000-08-14 22:13:23 -03:00
|
|
|
if __name__ == "__main__":
|
2018-06-18 06:10:38 -03:00
|
|
|
from unittest import main
|
|
|
|
main('idlelib.idle_test.test_percolator', verbosity=2, exit=False)
|
2016-05-17 23:48:22 -03:00
|
|
|
|
2014-05-25 19:44:05 -03:00
|
|
|
from idlelib.idle_test.htest import run
|
|
|
|
run(_percolator)
|