[gps-users] Adding A button on the toolbar

[Emmanuel Briot]

Anh Vo wrote:
>>>> 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.


You probably did something slightly differently, since this works fine
with all recent versions of GPS (3.1.3, 4.0, development,...)
As for the icon, this is also fully documented in the reference manual
of GPS... There is a <pixmap> node, which is shown in the example in the
doc.

regards
Emmanuel