| <html> |
| <head> |
| <link rel="stylesheet" type="text/css" href="css/tips.css"> |
| </head> |
| <body> |
| <p> |
| If you need more workspace, you can hide the tool windows bars: |
| click <img src="images/show_hide_tool_window_bars.png"> in the lower left corner.</p> |
| <p> |
| If necessary, you can show the tool window buttons just for a moment. To do that, press the key <span class="shortcut">Alt</span> (for Windows/*nix) or |
| <span class="shortcut">Cmd</span> (for Mac) twice and keep it down. |
| While the key is pressed, the tool window buttons are visible.</p> |
| </body> |
| </html> |
