diff options
author | 2000-09-14 15:22:25 +0000 | |
---|---|---|
committer | 2000-09-14 15:22:25 +0000 | |
commit | 23217014265fd6ca3a29ac49a6f98b6aa79440b4 (patch) | |
tree | 4b4bd2d4388d088024ea631463847ff13fcfeabf /doc | |
parent | ff772b69339552ca08079ba5598e589b0d7acd11 (diff) |
Note about creating images for toolbar.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/PG-adapting.texi | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index 12087979..67744b0a 100644 --- a/doc/PG-adapting.texi +++ b/doc/PG-adapting.texi @@ -176,6 +176,7 @@ Proof General. * Demonstration Instantiations:: * Function Index:: * Variable Index:: +* Keystroke Index:: * Concept Index:: @end menu @end ifinfo @@ -563,6 +564,11 @@ But in case it is hard to map some of the generic buttons onto functions in particular provers, and to allow extra buttons, there is a mechanism for adjustment. +I used The Gimp to create the buttons for Proof General. The +development distribution includes a button blank and some notes in +@file{etc/notes.txt} about making new buttons. + + @c TEXI DOCSTRING MAGIC: proof-toolbar-entries-default @defvar proof-toolbar-entries-default Example value for proof-toolbar-entries. Also used to define Scripting menu.@* |