12345678910111213141516171819202122232425262728293031323334353637 |
- import core.api
- class Plugin(core.api.Plugin, core.api.Child):
-
- def initialize(self):
- return
-
- core.api.subscribe_by_parents_interface(core.api.ICode, self)
- def callback(self, parent, data, is_updated):
- text = data.get_content()
- for region in data.iterate_regions():
- print "Region:", region.get_name(), region.get_cursor()
- for marker in data.iterate_markers(region_id=region.get_id(), exclude_children = True):
- print "\tMarker:", data.get_marker_types()().to_str(marker.get_type()), text[marker.get_offset_begin():marker.get_offset_end()]
|