mirror of
https://gitlab.gnome.org/GNOME/gimp.git
synced 2025-07-03 09:23:24 +00:00

2008-08-04 Sven Neumann <sven@gimp.org> Applied a slightly modified patch from Róman Joost as attached to bug #545963. This add links to the user manual to the tips dialog: * data/tips/gimp-tips.dtd * data/tips/gimp-tips.xml.in: add optional help IDs to the tips. * app/dialogs/tips-dialog.c * app/dialogs/tips-parser.[ch]: parse the help IDs from the tips file and show a "Learn more" link in the tips dialog. svn path=/trunk/; revision=26361
16 lines
376 B
DTD
16 lines
376 B
DTD
<!-- Simple DTD for GIMP tips -->
|
|
|
|
<!ELEMENT gimp-tips (tip+)>
|
|
|
|
<!ELEMENT tip (thetip+)>
|
|
<!ATTLIST tip level (start|beginner|intermediate|advanced) #REQUIRED>
|
|
<!ATTLIST tip help CDATA #IMPLIED>
|
|
|
|
<!ENTITY % markup "(#PCDATA|b|big|tt)*">
|
|
|
|
<!ELEMENT b %markup;>
|
|
<!ELEMENT big %markup;>
|
|
<!ELEMENT tt %markup;>
|
|
|
|
<!ELEMENT thetip %markup;>
|
|
<!ATTLIST thetip xml:lang CDATA #IMPLIED>
|