|
|
1.
|
|
|
&Insert Element...
|
|
|
|
|
&Insert Element...
|
|
Translated and reviewed by
Joel Pickett
|
|
|
|
Located in
plugin_katexmltools.cpp:128
|
|
|
2.
|
|
|
&Close Element
|
|
|
|
|
&Close Element
|
|
Translated and reviewed by
Joel Pickett
|
|
|
|
Located in
plugin_katexmltools.cpp:133
|
|
|
3.
|
|
|
Assign Meta &DTD...
|
|
|
|
|
Assign Meta &DTD...
|
|
Translated and reviewed by
Joel Pickett
|
|
|
|
Located in
plugin_katexmltools.cpp:138
|
|
|
4.
|
|
|
Assign Meta DTD in XML Format
|
|
|
|
|
Assign Meta DTD in XML Format
|
|
Translated and reviewed by
Joel Pickett
|
|
|
|
Located in
plugin_katexmltools.cpp:407
|
|
|
5.
|
|
|
The current file has been identified as a document of type "%1". The meta DTD for this document type will now be loaded.
|
|
|
|
|
The current file has been identified as a document of type "%1". The meta DTD for this document type will now be loaded.
|
|
Translated and reviewed by
Joel Pickett
|
|
|
|
Located in
plugin_katexmltools.cpp:412
|
|
|
6.
|
|
|
Loading XML Meta DTD
|
|
|
|
|
Loading XML Meta DTD
|
|
Translated and reviewed by
Joel Pickett
|
|
|
|
Located in
plugin_katexmltools.cpp:415
|
|
|
7.
|
|
|
The file '%1' could not be opened. The server returned an error.
|
|
|
|
|
The file '%1' could not be opened. The server returned an error.
|
|
Translated and reviewed by
Joel Pickett
|
|
|
|
Located in
plugin_katexmltools.cpp:450
|
|
|
8.
|
|
|
XML Plugin Error
|
|
|
|
|
XML Plugin Error
|
|
Translated and reviewed by
Joel Pickett
|
|
|
|
Located in
plugin_katexmltools.cpp:452 pseudo_dtd.cpp:50 pseudo_dtd.cpp:61
|
|
|
9.
|
|
|
Insert XML Element
|
|
|
|
|
Insert XML Element
|
|
Translated and reviewed by
Joel Pickett
|
|
|
|
Located in
plugin_katexmltools.cpp:1011
|
|
|
10.
|
|
|
Enter XML tag name and attributes ("<", ">" and closing tag will be supplied):
|
|
|
|
|
Enter XML tag name and attributes ("<", ">" and closing tag will be supplied):
|
|
Translated and reviewed by
Joel Pickett
|
|
|
|
Located in
plugin_katexmltools.cpp:1036
|
