Minor updates to the manual

This commit is contained in:
Stephen Boddy 2015-08-13 22:16:47 +02:00
parent 9decbaf43e
commit 527d892ebd
3 changed files with 5 additions and 11 deletions

View File

@ -255,7 +255,7 @@ How do I...
- Hide on lose focus: On - Hide on lose focus: On
- Hide from taskbar - Hide from taskbar
- Window borders: Off (use ``Alt``\ +\ ``click-drag`` and - Window borders: Off (use ``Alt``\ +\ ``click-drag`` and
``Alt``\ +\ ``right-click-drag`` to position and size window.) ``Alt``\ +\ ``middle-click-drag`` to position and size window.)
- Set the Toggle window visibility shortcut to your preference - Set the Toggle window visibility shortcut to your preference
.. note:: It must be the first Terminator instance started, because .. note:: It must be the first Terminator instance started, because

View File

@ -324,18 +324,10 @@ looks like this::
Issues encountered which may, or may not, already have an LP bug Issues encountered which may, or may not, already have an LP bug
================================================================ ================================================================
BUG: Issue if initial window (no tabs) has any splits, then creating new tab causes the first tab to be misnamed, gtk2 & gtk3.
Also on GTK3 only (but cannot reproduce now): it also causes a problem if using the "Menu" key to open the context menu
on the unamed tab; it does not dissappear by clicking out of it.
BUG: Ctrl+right-click-drag does not work. Can initiate drag, but no targets work.
BUG: Zoom and maximise do not work if single terminal in a tab, gtk2 & gtk3. BUG: Zoom and maximise do not work if single terminal in a tab, gtk2 & gtk3.
BUG: If first tab is split the tabs label width increases and pushes others off window gtk3 (in gtk2, the label shifts right, but other tabs OK) BUG: If first tab is split the tabs label width increases and pushes others off window gtk3 (in gtk2, the label shifts right, but other tabs OK)
BUG: With longer translations the buttons in the prefs sidebars can get chopped off.
BUG: Groups: Create two tabs with splits. Super+G (group all), move to other tab and Super+T (group tabs), move back and type BUG: Groups: Create two tabs with splits. Super+G (group all), move to other tab and Super+T (group tabs), move back and type
Output in tab group too. Also for custom groups. Output in tab group too. Also for custom groups.
Ungrouping all also nukes changed groups. Right? Ungrouping all also nukes changed groups. Right?

View File

@ -313,8 +313,10 @@ The above action results in the following:
.. image:: imgs/dragterminal_02.png .. image:: imgs/dragterminal_02.png
The other way to drag a terminal can be done from within the terminal with The other way to drag a terminal can be done from within the terminal with
``Ctrl``\ +\ ``right-click-drag``\ . ``Ctrl``\ +\ ``right-click-drag``\ . With this method once you start the
grag, you *must* release the ``Ctrl`` key *before* releasing the
``right-mouse-button``. If you do not the drag will cancel.
You can drag between tabs by initiating a drag and hovering over the tab. You can drag between tabs by initiating a drag and hovering over the tab.
Terminator will switch to the tab under the cursor, and the terminal can be Terminator will switch to the tab under the cursor, and the terminal can be