gnatstudio/examples/python/bookmarks.py

# This file adds support for bookmarks in GPS
# Missing in this very partial implementation:
#   - Add known bookmarks to a menu dynamically, for easy jumps

# This is mostly reimplemented in GPS itself at this point

import GPS

GPS.Editor.register_highlighting("bookmarks", "orange", True)


def add_bookmark():
    context = GPS.current_context()
    if isinstance(context, GPS.FileContext):
        name = GPS.MDI.input_dialog("Name of bookmark", "Name")
        if name != ():
            GPS.Locations.add(
                "Bookmarks",
                context.file(),
                GPS.Editor.cursor_get_line(context.file().name()),
                GPS.Editor.cursor_get_column(context.file().name()),
                name[0],
                "bookmarks",
            )


GPS.parse_xml(
    """
  <action name="add bookmark" category="General">
     <filter id="Source editor" />
     <description>Add a bookmark for the current line</description>
     <shell lang="python" output="none">bookmarks.add_bookmark()</shell>
  </action>
  <Submenu>
     <Title>Navigate/Bookmarks</Title>
     <menu action="add bookmark">
        <Title>Add bookmark</Title>
     </menu>
  </Submenu>"""
)