View All Attachments for Bug 272172

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Attachment #157764
fix	patch	2010-02-01 06:27:01 EST	10.14 KB	no flags	Details

Attachment #158965
reworked patch	patch	2010-02-12 04:36:43 EST	13.98 KB	no flags	Details

Attachment #158969
fix	patch	2010-02-12 07:11:25 EST	14.00 KB	no flags	Details

Attachment #159013
fix	patch	2010-02-12 13:58:50 EST	15.56 KB	no flags	Details

Attachment #159294
fix	patch	2010-02-17 07:21:47 EST	16.57 KB	no flags	Details

Attachment #159881
reworked patch	patch	2010-02-22 22:43:03 EST	18.41 KB	no flags	Details

Attachment #160032
fix	patch	2010-02-24 01:01:42 EST	15.45 KB	markus.kell.r: iplog+	Details

Attachment #160185
simplified solution	patch	2010-02-25 09:06:00 EST	8.35 KB	no flags	Details

Attachment #161266
Documentation	text/html	2010-03-08 04:17:00 EST	1.74 KB	no flags	Details

### Eclipse Workspace Patch 1.0
#P org.eclipse.platform.doc.user
Index: concepts/accessibility/text_editor.htm
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.platform.doc.user/concepts/accessibility/text_editor.htm,v
retrieving revision 1.3
diff -u -r1.3 text_editor.htm
--- concepts/accessibility/text_editor.htm	29 May 2009 09:05:51 -0000	1.3
+++ concepts/accessibility/text_editor.htm	8 Mar 2010 09:12:01 -0000
@@ -33,6 +33,12 @@
 Like normal hovers can be shown by pressing <b>F2</b>, the quick diff diff and revision hovers that appear when hovering over the quick diff ruler on the left can also be shown by pressing a key sequence.
 However, out of the box no key sequence is defined for that. Go to the <a class="command-link" href='javascript:executeCommand("org.eclipse.ui.window.preferences(preferencePageId=org.eclipse.ui.preferencePages.Keys)")'>
    <img src="PLUGINS_ROOT/org.eclipse.help/command_link.png">
+   <strong>General &gt; Keys</strong></a> preference page to assign a key sequence to the <b>Show Ruler Annotation Tooltip</b> command.
+
+<h2>Annotation Hover</h2>
+Like normal hovers can be shown by pressing <b>F2</b>, the annotation hover that appears when hovering over the vertical ruler on the left can also be shown by pressing a key sequence.
+However, out of the box no key sequence is defined for that. Go to the <a class="command-link" href='javascript:executeCommand("org.eclipse.ui.window.preferences(preferencePageId=org.eclipse.ui.preferencePages.Keys)")'>
+   <img src="PLUGINS_ROOT/org.eclipse.help/command_link.png">
    <strong>General &gt; Keys</strong></a> preference page to assign a key sequence to the <b>Show Quick Diff Ruler Tooltip</b> command.

Attachment #161267
Documentation	text/plain	2010-03-08 04:26:39 EST	1.40 KB	no flags	Details