Remove headers from {dock,header}.php
[whome.git] / guide / chap6.php
blob3e6a176e070226446c28b4fa72116e5191d24cf4
1 <html xmlns="http://www.w3.org/1999/xhtml">
2 <head>
3 <meta name="generator" content="HTML Tidy for Linux (vers 25 March 2009), see www.w3.org" />
5 <title>User Guide: Glossary</title>
6 <meta http-equiv="Content-Type" content="text/html; charset=us-ascii" />
7 <link href="../title.css" rel="stylesheet" type="text/css" />
8 </head>
10 <body>
11 <?php
12 include("../header.php");
13 include("../dock.php");
16 <div id="inhalt">
17 <table width="880" border="0" cellpadding="1" cellspacing="1">
18 <tr>
19 <td content="content" colspan="2" valign="top">
20 <br />
21 <br />
22 <br />
24 <h1>Glossary</h1>
26 <ul>
27 <li>[drag] to click in an object with the mouse and move the mouse while holding the mouse button.</li>
29 <li>[miniaturize] (iconify, minimize) to temporarily put a window aside, replacing the window with a miniature
30 representation of it.</li>
32 <li>[Meta key] depending on the system and keyboard types, this can mean different keys. Under Linux, it is usually
33 the Alt or Alternate key.</li>
34 </ul><br />
35 <br />
36 <br />
37 </td>
38 </tr>
39 </table>
40 </div>
41 </body>
42 </html>