eye.helpers.bookmarks module

Line bookmarks

This plugin allows to set bookmark on lines. It’s possible to navigate between bookmarked lines in a file. Bookmarks do not persist when file is closed.

These bookmarks use a eye.widgets.editor.Marker called “bookmark”, which can be customized.

Here’s a sample customization:

@default_editor_config
def setup_bookmarks(ed):
        ed.create_marker('bookmark', Marker(ed.Circle))
        ed.setMarkerBackgroundColor(QColor('#0000ff') , 'bookmark')
        ed.setMarkerForegroundColor(QColor('#cccccc') , 'bookmark')

eye.helpers.bookmarks.create_marker(ed)

Default handler to create a marker style for bookmarks.

The default marker style is a circle without colors set.

This handler is disabled by default.

This handler is registered as setup for categories ['editor'].

eye.helpers.bookmarks.list_bookmarks(ed)

Return bookmarked lines numbers in editor.

eye.helpers.bookmarks.next_bookmark(ed)

Jump to next bookmarked line in editor.

eye.helpers.bookmarks.previous_bookmark(ed)

Jump to previous bookmarked line in editor.

eye.helpers.bookmarks.set_enabled(enabled)

eye.helpers.bookmarks.toggle_bookmark(ed)

Toggle bookmark state of current line of editor.