[gps-users] Adding A button on the toolbar

Anh Vo Anh.Vo at baesystems.com
Wed Aug 9 17:54:34 CEST 2006


>>> Emmanuel Briot <briot at adacore.com> 8/9/2006 12:33:53 AM >>>
> Create the file $HOME/.gps/plug-ins/button.xml with:
>
> <?xml version="1.0"?>
> <GPS>
>    <button action="/Build/Compile File">
>       <title>Compile File</title>
>    </button>
> </GPS>

I did just exactly that. Then, shutdown GPS and brought it back up.
However, I did not see this new button. One more question though, how
can I associated this action to an image/icon on the tool bar? Thanks.

AV




More information about the gps-users mailing list