def __init__(self, *args, **kwargs):
Text.__init__(self, *args, **kwargs)
self.redirector = WidgetRedirector(self)
self.insert = self.redirector.register("insert",
lambda *args, **kw: "break")
self.delete = self.redirector.register("delete",
lambda *args, **kw: "break")
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 __init__(self):
self.jsonCon = JsonController(self)
self.text = tk.Text(self.root)
self.text.grid()
self.text.pack(side="left")
self.redirector = WidgetRedirector(self.text)
self.original_mark = self.redirector.register("mark", self.on_mark)
self.original_insert = self.redirector.register(
"insert", self.on_insert)
self.original_delete = self.redirector.register(
"delete", self.on_delete)
self.delta_index = Cursor("1.0")
self.listen_thread = Thread(target=self.jsonCon.listen)
self.listen_thread.start()
self.root.protocol('WM_DELETE_WINDOW',
self.shutdown) # root is your root window
self.ignore_actions = False
self.root.title("Collaborative Notepad CS457")
screenWidth = self.root.winfo_screenwidth()
screenHeight = self.root.winfo_screenheight()
left = (screenWidth / 2) - (self.__thisWidth / 2)
top = (screenHeight / 2) - (self.__thisHeight / 2)
self.root.geometry('%dx%d+%d+%d' %
(self.__thisWidth, self.__thisHeight, left, top))
self.root.grid_rowconfigure(0, weight=1)
self.root.grid_columnconfigure(0, weight=1)
#self.text.grid(sticky=N + E + S + W)
self.__thisFileMenu.add_command(label="New", command=self.__newFile)
self.__thisFileMenu.add_command(label="Open", command=self.__openFile)
self.__thisFileMenu.add_command(label="Save", command=self.__saveFile)
self.__thisFileMenu.add_separator()
self.__thisMenuBar.add_cascade(label="File", menu=self.__thisFileMenu)
#self.__thisEditMenu.add_command(label="Cut",command=self.__cut)
#self.__thisEditMenu.add_command(label="Copy",command=self.__copy)
#self.__thisEditMenu.add_command(label="Paste",command=self.__paste)
#self.__thisMenuBar.add_cascade(label="Edit",menu=self.__thisEditMenu)
self.__thisHelpMenu.add_command(label="About Notepad",
command=self.__showAbout)
self.__thisMenuBar.add_cascade(label="Help", menu=self.__thisHelpMenu)
self.root.config(menu=self.__thisMenuBar)
# self.__thisScrollBar.pack(side=RIGHT, fill=Y)
# self.__thisScrollBar.config(command=self.text.yview)
# self.text.config(yscrollcommand=self.__thisScrollBar.set)
get_text_dict = {OP: GET_ALL_TEXT}
self.jsonCon.send_dict(get_text_dict)
self.root.mainloop()
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
self.bottom.setdelegate(None)
self.bottom = None
self.redir.close()
self.redir = None
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)
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
self.bottom.setdelegate(None); self.bottom = None
self.redir.close(); self.redir = None
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)
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 = []
class ReadOnlyText(Text):
def __init__(self, *args, **kwargs):
Text.__init__(self, *args, **kwargs)
self.redirector = WidgetRedirector(self)
self.insert = self.redirector.register("insert",
lambda *args, **kw: "break")
self.delete = self.redirector.register("delete",
lambda *args, **kw: "break")
self.bind("<<copy>>", self.copy_event)
def copy_event(self, event):
# Trace copy event in the output console
first = self.index("sel.first")
last = self.index("sel.last")
if first != "" and last != "":
tracing.send_statement(
"copied", "output-console", {
"https://www.lip6.fr/mocah/invalidURI/extensions/text":
self.get(first, last)
})
from WidgetRedirector import WidgetRedirector
from WidgetRedirector import WidgetRedirector
def __init__(self, *args, **kwargs):
Text.__init__(self, *args, **kwargs)
self.redirector = WidgetRedirector(self)
self.insert = self.redirector.register("insert", lambda *args, **kw: "break")
self.delete = self.redirector.register("delete", lambda *args, **kw: "break")
class SmEditor:
root = tk.Tk()
__thisWidth = 500
__thisHeight = 450
__thisMenuBar = Menu(root)
__thisFileMenu = Menu(__thisMenuBar, tearoff=0)
__thisEditMenu = Menu(__thisMenuBar, tearoff=0)
__thisHelpMenu = Menu(__thisMenuBar, tearoff=0)
# __thisScrollBar = Scrollbar(text)
__file = None
def __init__(self):
self.jsonCon = JsonController(self)
self.text = tk.Text(self.root)
self.text.grid()
self.text.pack(side="left")
self.redirector = WidgetRedirector(self.text)
self.original_mark = self.redirector.register("mark", self.on_mark)
self.original_insert = self.redirector.register(
"insert", self.on_insert)
self.original_delete = self.redirector.register(
"delete", self.on_delete)
self.delta_index = Cursor("1.0")
self.listen_thread = Thread(target=self.jsonCon.listen)
self.listen_thread.start()
self.root.protocol('WM_DELETE_WINDOW',
self.shutdown) # root is your root window
self.ignore_actions = False
self.root.title("Collaborative Notepad CS457")
screenWidth = self.root.winfo_screenwidth()
screenHeight = self.root.winfo_screenheight()
left = (screenWidth / 2) - (self.__thisWidth / 2)
top = (screenHeight / 2) - (self.__thisHeight / 2)
self.root.geometry('%dx%d+%d+%d' %
(self.__thisWidth, self.__thisHeight, left, top))
self.root.grid_rowconfigure(0, weight=1)
self.root.grid_columnconfigure(0, weight=1)
#self.text.grid(sticky=N + E + S + W)
self.__thisFileMenu.add_command(label="New", command=self.__newFile)
self.__thisFileMenu.add_command(label="Open", command=self.__openFile)
self.__thisFileMenu.add_command(label="Save", command=self.__saveFile)
self.__thisFileMenu.add_separator()
self.__thisMenuBar.add_cascade(label="File", menu=self.__thisFileMenu)
#self.__thisEditMenu.add_command(label="Cut",command=self.__cut)
#self.__thisEditMenu.add_command(label="Copy",command=self.__copy)
#self.__thisEditMenu.add_command(label="Paste",command=self.__paste)
#self.__thisMenuBar.add_cascade(label="Edit",menu=self.__thisEditMenu)
self.__thisHelpMenu.add_command(label="About Notepad",
command=self.__showAbout)
self.__thisMenuBar.add_cascade(label="Help", menu=self.__thisHelpMenu)
self.root.config(menu=self.__thisMenuBar)
# self.__thisScrollBar.pack(side=RIGHT, fill=Y)
# self.__thisScrollBar.config(command=self.text.yview)
# self.text.config(yscrollcommand=self.__thisScrollBar.set)
get_text_dict = {OP: GET_ALL_TEXT}
self.jsonCon.send_dict(get_text_dict)
self.root.mainloop()
def __showAbout(self):
showinfo("Notepad", "Welcome to our collaborative notepad example")
def __openFile(self):
self.__file = askopenfilename(defaultextension=".txt",
filetypes=[("All Files", "*.*"),
("Text Documents", "*.txt")])
if self.__file == "":
self.__file = None #no file specified
else:
self.root.title(os.path.basename(self.__file) + " - Notepad")
self.text.delete(1.0, END)
file = open(self.__file, "r")
#TODO: Check this against michaels code:
self.text.insert(1.0, file.read())
file.close()
def __newFile(self):
self.root.title("Untitled - Notepad")
self.__file = None
self.text.delete(1.0, END)
def __saveFile(self):
if self.__file == None:
self.__file = asksaveasfilename(initialfile='Untitled.txt',
defaultextension=".txt",
filetypes=[("All Files", "*.*"),
("Text Documents",
"*.txt")])
if self.__file == "":
self.__file = None
else:
file = open(self.__file, "w")
file.write(self.text.get(1.0, END))
file.close()
self.root.title(os.path.basename(self.__file) + " - Notepad")
else:
file = open(self.__file, "w")
file.write(self.text.get(1.0, END))
file.close()
def __cut(self):
self.text.event_generate("<<Cut>>")
def __copy(self):
self.text.event_generate("<<Copy>>")
def __paste(self):
self.text.event_generate("<<Paste>>")
def shutdown(self):
print("Shutdown")
self.jsonCon.send_message("QUIT")
self.listen_thread.join(1)
self.jsonCon.close()
self.root.destroy()
def compute_current_delta(self):
c_delta = Cursor(self.delta_index)
c_insert = Cursor(self.text.index(INSERT))
text = self.text.get(self.delta_index, INSERT)
self.delta_index = self.text.index(INSERT)
return text, c_delta, (c_insert - c_delta)
def on_mark(self, *event):
# print("mark", event)
# the mark/cursor position was updated. We want to update our current cursor tracker and the delta cursor
self.delta_index = Cursor(self.text.index(INSERT))
return self.original_mark(*event)
def on_insert(self, *event):
# print("insert", event)
self.delta_index = Cursor(self.text.index(INSERT)) + Cursor("0.1")
if not self.ignore_actions:
self.jsonCon.propagate_insert(Cursor(self.text.index(INSERT)),
event[1])
return self.original_insert(*event)
def on_delete(self, *event):
# Backspace
index_1 = None
index_2 = None
if event[0] == "insert-1c":
print("delete the character behind the cursor")
insert_cursor = Cursor(self.text.index(INSERT))
index_1 = insert_cursor
index_2 = insert_cursor - Cursor("0.1")
elif event[0] == "insert":
print("Delete the character before the cursor")
insert_cursor = Cursor(self.text.index(INSERT))
index_1 = insert_cursor
index_2 = insert_cursor + Cursor("0.1")
elif event[0] == SEL_FIRST:
index_1 = Cursor(self.text.index(SEL_FIRST))
index_2 = Cursor(self.text.index(SEL_LAST))
elif event[0] == 1.0:
index_1 = Cursor("1.0")
index_2 = Cursor(self.text.index(event[1]))
if not self.ignore_actions:
self.jsonCon.propagate_delete(index_1, index_2)
return self.original_delete(*event)
def net_insert(self, delta_index, delta):
self.ignore_actions = True
self.text.insert(str(delta_index), delta)
self.ignore_actions = False
return
def net_delete(self, delta_start, delta_index2):
if delta_start < delta_index2:
start = delta_start
end = delta_index2
else:
start = delta_index2
end = delta_start
# needs the greater index first
self.ignore_actions = True
self.text.delete(str(start), str(end))
self.ignore_actions = False
return None
def update_text(self, text):
self.ignore_actions = True
self.text.delete("1.0", END)
self.text.insert("1.0", text)
self.ignore_actions = False
def get_text(self):
return self.text.get("1.0", END)
