Enable Javascript in your browser and then refresh this page, for a much enhanced experience.
Full Standard solution in Uncategorized category for Text Editor by Ylliw
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):
if self.font:
return "["+self.font+"]"+self.text+"["+self.font+"]"
else:
return self.text
def restore(self,SavedText):
self.text=SavedText[0]
self.font=SavedText[1]
class SavedText:
def __init__(self):
self.SavedTable = []
def save_text(self,Text):
self.SavedTable.append([Text.text,Text.font])
def get_version(self,number):
return self.SavedTable[number]
Jan. 15, 2019
