+\begin_inset Newline newline
+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
+
+\series bold
+A hint:
+\series default
+ You can save time by leaving the PDF viewer running in the background.
+ Under MacOS and Linux you can use
+\family sans
+Document\SpecialChar menuseparator
+Update
+\family default
+ or the toolbar button
+\begin_inset Info
+type "icon"
+arg "buffer-update"
+\end_inset
+
+ and just click on the PDF viewer window afterwards.
+ Under Windows still use
+\family sans
+Document\SpecialChar menuseparator
+View
+\family default
+ or
+\begin_inset Info
+type "icon"
+arg "buffer-view"
+\end_inset
+
+ respectively.