2022-11-15 11:29:52 +00:00
2021-09-21 13:25:29 +01:00
2021-09-21 13:25:29 +01:00
2021-08-20 16:55:11 +01:00
2021-08-20 11:47:15 +01:00
2021-09-06 13:43:32 +01:00
2021-09-17 12:03:08 +01:00

ACHORD / GNAT Studio integration plug-in

This repository contains a plugin for GNAT Studio allowing integration of the ACHORD environment.

Installation

There are three ways to make the plug-in available to GNAT Studio - choose one:

  • Add the complete path to the directory achord-integration to your environment variable GNATSTUDIO_CUSTOM_PATH, or
  • Copy the directory achord-integration to the subdirectory share/gnatstudio/plug-insin your GNAT Studio installation, or
  • Copy the directory achord-integration to the plug-ins directory of the .gnatstudio folder in your home directory (note that this method will make the plug-in available to you only).

Usage

Development and testing

TO DO

  • make the connection system asynchronous, so delays in connection don't freeze the GNAT Studio UI
  • add a background connection monitor
  • refresh the Achord Elements view when a connection becomes available
  • Elements view
    • connect a contextual menu?
    • add more information to the list?
    • add a filter to the list
    • add a toplevel label to indicate the state of the connection
  • implement the functions:
    • disconnect
    • annotate_editor
    • remove_editor_annotations
    • create_link
    • create_code_element
    • open_elements
    • synchronise
  • element data
    • support self links?
Description
No description provided
Readme 104 KiB
Languages
Python 98.3%
Shell 1.6%