From 8e714f32582fd8d3114bdd1d165b7a1843236a8e Mon Sep 17 00:00:00 2001 From: gryf Date: Wed, 29 May 2019 22:03:29 +0200 Subject: [PATCH] Converted tips to rest --- docs/chap5.html | 29 ----------------------------- docs/chap5.rst | 20 ++++++++++++++++++++ 2 files changed, 20 insertions(+), 29 deletions(-) delete mode 100644 docs/chap5.html create mode 100644 docs/chap5.rst diff --git a/docs/chap5.html b/docs/chap5.html deleted file mode 100644 index 8f47c2b..0000000 --- a/docs/chap5.html +++ /dev/null @@ -1,29 +0,0 @@ ---- -layout: default -title: User Guide - Tips ---- -
-
-
- -

Chapter 5

- -

Tips


-
- -
-
-
diff --git a/docs/chap5.rst b/docs/chap5.rst new file mode 100644 index 0000000..1249c0f --- /dev/null +++ b/docs/chap5.rst @@ -0,0 +1,20 @@ +--- +layout: default +title: User Guide - Tips +--- + +Tips +==== + +- If the size of a window gets so large that it doesn't fit on the screen and + you can't manipulate it, you can simply hold the Meta key while dragging the + window in the client area. This way you can move the window up or down and + resize it, if you want. + +- If you want windows to be able to cover the dock, you can make the dock + lowerable by double clicking the first dock icon while holding the Meta key. + Then, you can raise and lower the dock through the first icon, just like you + do with windows. + +- If you want windows to be able to cover menus, you can make them lowerable + just like the dock by double clicking the titlebar with the Meta key pressed.