# 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>""")