Exemple #1
0
 def __init__(self, textBuffer):
     self.data = brList()
     self.textBuffer = textBuffer 
     self.curIdx = 0
     self.serialize_format = self.textBuffer.register_serialize_tagset()
     self.deserialize_format = self.textBuffer.register_deserialize_tagset()
     begin, end = self.textBuffer.get_bounds()
     insert_iter_offset = self.textBuffer.get_iter_at_mark(self.textBuffer.get_insert()).get_offset()
     self.data.append(self.curIdx, (self.textBuffer.serialize(self.textBuffer, self.serialize_format, begin, end), insert_iter_offset))
Exemple #2
0
 def __init__(self, textBuffer):
     self.data = brList()
     self.textBuffer = textBuffer
     self.curIdx = 0
     self.serialize_format = self.textBuffer.register_serialize_tagset()
     self.deserialize_format = self.textBuffer.register_deserialize_tagset()
     begin, end = self.textBuffer.get_bounds()
     insert_iter_offset = self.textBuffer.get_iter_at_mark(self.textBuffer.get_insert()).get_offset()
     self.data.append(self.curIdx, (self.textBuffer.serialize(self.textBuffer, self.serialize_format, begin, end), insert_iter_offset))
Exemple #3
0
 def __init__(self):
     super(cHistory,  self).__init__()
     self.index = 0
     self.data = brList()
     self.tmpItem = None
     self.emit_state()
Exemple #4
0
 def __init__(self):
     super(cHistory, self).__init__()
     self.index = 0
     self.data = brList()
     self.tmpItem = None
     self.emit_state()