1234567891011121314151617181920212223242526272829303132333435363738 |
- import core.api
- import logging
- 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():
- logging.warn(region.get_name() + " " + region.get_cursor())
- for marker in data.iterate_markers(region_id=region.get_id(), exclude_children = True):
- logging.warn("\tMarker: " + data.get_marker_types()().to_str(marker.get_type()) +
- " " + text[marker.get_offset_begin():marker.get_offset_end()])
|