Yup, that there sure is the manual. >The font and point size can be modified using the "Text Font" command in the Tools menu (or the toolbar button). Yup, jus

Yup, that there sure is the manual. >The font and point size can be modified using the "Text Font" command in the Tools menu (or the toolbar button). Yup, just like I said. >Alternatively, images can be pasted directly from the clipboard (without having to select the image tool). Nope, non functional on Ubuntu 18.04, have tried countless times.