mirror of
https://github.com/AdaCore/gnatstudio-achord-plugin.git
synced 2026-02-12 13:10:23 -08:00
master
Merge local changes
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-integrationto your environment variableGNATSTUDIO_CUSTOM_PATH, or - Copy the directory
achord-integrationto the subdirectoryshare/gnatstudio/plug-insin your GNAT Studio installation, or - Copy the directory
achord-integrationto theplug-insdirectory of the.gnatstudiofolder 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
Languages
Python
98.3%
Shell
1.6%