gnat-gps-common 6.1.2016-1ubuntu1 / usr / share / gps / library / autoformat.py

"""This plug-in will automatically reformat a source file each time it is
saved on disk. See also autognatpp.py for another version using the external
gnatpp pretty-printer instead.
"""

import GPS

# Actions to be performed each time a file is saved


def on_file_saved(hook, file):
    buf = GPS.EditorBuffer.get()
    if buf.file().language() == "python":
        # Deactivate on Python files: the formatting action
        # indents the entire selection - this is intended for user
        # selection, but it is not suitable to do this automatically.
        return

    # Save the cursor location
    view = buf.current_view()
    cursor = view.cursor().create_mark()

    # Select the whole buffer
    buf.select(buf.beginning_of_buffer(), buf.end_of_buffer())

    # Reformat the buffer
    GPS.execute_action("Format Selection")

    # Restore the cursor location
    view.goto(cursor.location())
    view.center(view.cursor())

# Register the callback on the "before_file_saved" hook
GPS.Hook("before_file_saved").add(on_file_saved)