25 lines
1.3 KiB
HTML
25 lines
1.3 KiB
HTML
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
|
|
<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>Document Switcher</title>
|
|
<link rel="stylesheet" href="styles.css" type="text/css">
|
|
</head>
|
|
<body>
|
|
<h1>Document
|
|
Switcher</h1>
|
|
<p>The
|
|
document switcher is a small list of currently opened files that is
|
|
shown (if enabled, see <a href="Preferences.html#MISC">Preferences</a>) when you switch documents,
|
|
allows you to select what document to activate before actually doing
|
|
so. The list will remain visible until either you release the
|
|
modifier key that triggered the list (<span class="shortcut">Ctrl</span> key if using the <span class="shortcut">TAB</span> key
|
|
or the right mouse button if using the <span class="shortcut">scroll wheel</span>) or one of the
|
|
documents has been selected by clicking on it with the <span class="shortcut">left mouse
|
|
button</span>. The highlighted document will then be activated.
|
|
<p>
|
|
<img src="Images\Screenshots\docswitch.png">
|
|
<p>
|
|
Please
|
|
note that if you assign anything else than <span class="shortcut">Ctrl-(Shift-)TAB</span> to
|
|
switching documents, the document switcher will not work properly
|
|
when switching using the keyboard. In that case, use the <span class="shortcut">mouse</span> or
|
|
disable it (v5.4.3).
|
|
</body></html> |