diff --git a/main/graphics/man-graphics-edit.en.tm b/main/graphics/man-graphics-edit.en.tm new file mode 100644 index 0000000..3ac3619 --- /dev/null +++ b/main/graphics/man-graphics-edit.en.tm @@ -0,0 +1,24 @@ + + + + +<\body> + + + \; + + + + + + +<\initial> + <\collection> + + + \ No newline at end of file diff --git a/main/graphics/man-graphics-group.en.tm b/main/graphics/man-graphics-group.en.tm new file mode 100644 index 0000000..f6f02f0 --- /dev/null +++ b/main/graphics/man-graphics-group.en.tm @@ -0,0 +1,24 @@ + + + + +<\body> + + + \; + + + + + + +<\initial> + <\collection> + + + \ No newline at end of file diff --git a/main/graphics/man-graphics-new.en.tm b/main/graphics/man-graphics-new.en.tm new file mode 100644 index 0000000..dccde2a --- /dev/null +++ b/main/graphics/man-graphics-new.en.tm @@ -0,0 +1,62 @@ + + + + +<\body> + + + You may start drawing a new picture using . + In some cases, you may also want to draw something on top of an existing + image (or other kinds of content). This can be done by selecting the image + or content on top of which you want to draw, and then click on + . + + By default, the inserted image spans over the whole paragraph. You may + adjust its size using the keyboard shortcuts + , , + , + (to adjust the size a bit faster, you may use + , + , + , + ). You may also specify an + explicit size using . After completion of your + drawing, you may automatically crop the size of your picture to its actual + size (plus some additional padding), using . + + For technical pictures, it is often useful to display a grid while you are + drawing. This can be done using. In + the menu it is also possible to adjust the colors of the + axes and the grid-lines, as well as the number of subunit grid-lines per + unit grid-line. By default, grids will also be printed; you need to remove + them after completing your drawing if you do not want this. + + By default, places the origin of the grid at the center of the + screen and uses a unit. You may scroll the picture using the + arrow keys , + , + , + (or , + , + , + if you want to move fast). You + may specify a different unit using the menu. + You may also zoom in and out using and + , or from the + menu. + + + + + + +<\initial> + <\collection> + + + \ No newline at end of file diff --git a/main/graphics/man-graphics-style.en.tm b/main/graphics/man-graphics-style.en.tm new file mode 100644 index 0000000..c3c60fe --- /dev/null +++ b/main/graphics/man-graphics-style.en.tm @@ -0,0 +1,24 @@ + + + + +<\body> + + + \; + + + + + + +<\initial> + <\collection> + + + \ No newline at end of file diff --git a/main/graphics/man-graphics.en.tm b/main/graphics/man-graphics.en.tm new file mode 100644 index 0000000..271b631 --- /dev/null +++ b/main/graphics/man-graphics.en.tm @@ -0,0 +1,41 @@ + + + + +<\body> + + + Besides the possibility to include pictures which were created using other + programs, includes a rudimentary tool for creating your own + drawings. Although this tool has less features than several most special + purpose graphical editors, it does have the advantage that it is fully + integrated with . In particular, it is easy to insert text, + mathematics and hyperlinks inside your pictures. Moreover, pictures which + are created in this way often look nicer, because they use the same fonts + and default line width as the surrounding text. + + <\traverse> + + + + + + + + + + + + + + +<\initial> + <\collection> + + + \ No newline at end of file diff --git a/main/man-manual.en.tm b/main/man-manual.en.tm index 7e30e8c..934882c 100644 --- a/main/man-manual.en.tm +++ b/main/man-manual.en.tm @@ -16,6 +16,8 @@ + + diff --git a/main/man-user-manual.en.tm b/main/man-user-manual.en.tm index 798c6ce..c31ba61 100644 --- a/main/man-user-manual.en.tm +++ b/main/man-user-manual.en.tm @@ -16,6 +16,8 @@ + +