blob: d39e28fa2e7ba63b98a1b1918a3b393b8b4ca18d [file] [log] [blame]
Tor Norbye814f8292014-03-06 17:27:18 -08001<html>
2<head>
3 <link rel="stylesheet" type="text/css" href="css/tips.css">
4</head>
5<body>
6 <p>
7 If you need more workspace, you can hide the tool windows bars:
8 click <img src="images/show_hide_tool_window_bars.png"> in the lower left corner.</p>
9 <p>
10 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
11<span class="shortcut">Cmd</span> (for Mac) twice and keep it down.
12 While the key is pressed, the tool window buttons are visible.</p>
13</body>
14</html>