[gedit] [docs] Remove deprecated shortcuts.
- From: Ignacio Casal Quinteiro <icq src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit] [docs] Remove deprecated shortcuts.
- Date: Tue, 1 Mar 2011 11:56:13 +0000 (UTC)
commit 642d737e0a0f0e70ff99ea86929747c0bb7f5c79
Author: Ignacio Casal Quinteiro <icq gnome org>
Date: Tue Mar 1 12:55:09 2011 +0100
[docs] Remove deprecated shortcuts.
help/C/gedit-shortcut-keys.page | 9 ---------
1 files changed, 0 insertions(+), 9 deletions(-)
---
diff --git a/help/C/gedit-shortcut-keys.page b/help/C/gedit-shortcut-keys.page
index 3eb88e4..f7eaa6f 100644
--- a/help/C/gedit-shortcut-keys.page
+++ b/help/C/gedit-shortcut-keys.page
@@ -198,9 +198,6 @@ Please skip this list for now. I'm not sure if it is needed.
<td><p>Find the previous instance of the string</p></td> <td><p>Ctrl + Shift + G</p></td>
</tr>
<tr>
- <td><p>Interactive search</p></td> <td><p>Ctrl + K</p></td>
- </tr>
- <tr>
<td><p>Search and Replace</p></td> <td><p>Ctrl + H</p></td>
</tr>
<tr>
@@ -230,12 +227,6 @@ Please skip this list for now. I'm not sure if it is needed.
<td><p>Remove trailing spaces (with plugin)</p></td> <td><p>Alt + F12</p></td>
</tr>
<tr>
- <td><p>Indent (with plugin)</p></td> <td><p>Ctrl + T</p></td>
- </tr>
- <tr>
- <td><p>Remove indent (with plugin)</p></td> <td><p>Ctrl + Shift + T</p></td>
- </tr>
- <tr>
<td><p>Run "make" in the current directory (with plugin)</p></td> <td><p>F8</p></td>
</tr>
<tr>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]