Enable Javascript in your browser and then refresh this page, for a much enhanced experience.
First solution in Clear category for Text Editor by Moff
class Text:
def __init__(self):
self.text = ''
self.font = None
def write(self, text):
self.text += text
def set_font(self, font):
self.font = font
def show(self):
return f'[{self.font}]{self.text}[{self.font}]' if self.font else self.text
def restore(self, state):
self.text = state[0]
self.font = state[1]
class SavedText:
def __init__(self):
self.versions = []
def save_text(self, text):
self.versions.append((text.text, text.font))
def get_version(self, i):
return self.versions[i]
July 3, 2018