|
Lines 17-23
Link Here
|
| 17 |
import java.util.Hashtable; |
17 |
import java.util.Hashtable; |
| 18 |
|
18 |
|
| 19 |
import org.eclipse.core.runtime.ListenerList; |
19 |
import org.eclipse.core.runtime.ListenerList; |
| 20 |
|
|
|
| 21 |
import org.eclipse.swt.SWT; |
20 |
import org.eclipse.swt.SWT; |
| 22 |
import org.eclipse.swt.SWTException; |
21 |
import org.eclipse.swt.SWTException; |
| 23 |
import org.eclipse.swt.accessibility.ACC; |
22 |
import org.eclipse.swt.accessibility.ACC; |
|
Lines 61-67
Link Here
|
| 61 |
import org.eclipse.swt.widgets.Menu; |
60 |
import org.eclipse.swt.widgets.Menu; |
| 62 |
import org.eclipse.swt.widgets.MenuItem; |
61 |
import org.eclipse.swt.widgets.MenuItem; |
| 63 |
import org.eclipse.swt.widgets.TypedListener; |
62 |
import org.eclipse.swt.widgets.TypedListener; |
| 64 |
|
|
|
| 65 |
import org.eclipse.ui.forms.HyperlinkSettings; |
63 |
import org.eclipse.ui.forms.HyperlinkSettings; |
| 66 |
import org.eclipse.ui.forms.events.HyperlinkEvent; |
64 |
import org.eclipse.ui.forms.events.HyperlinkEvent; |
| 67 |
import org.eclipse.ui.forms.events.IHyperlinkListener; |
65 |
import org.eclipse.ui.forms.events.IHyperlinkListener; |
|
Lines 1612-1633
Link Here
|
| 1612 |
|
1610 |
|
| 1613 |
private void paintFocusTransfer(IHyperlinkSegment oldLink, |
1611 |
private void paintFocusTransfer(IHyperlinkSegment oldLink, |
| 1614 |
IHyperlinkSegment newLink) { |
1612 |
IHyperlinkSegment newLink) { |
| 1615 |
GC gc = new GC(this); |
|
|
| 1616 |
Color bg = getBackground(); |
| 1617 |
Color fg = getForeground(); |
| 1618 |
gc.setFont(getFont()); |
| 1619 |
if (oldLink != null) { |
1613 |
if (oldLink != null) { |
| 1620 |
gc.setBackground(bg); |
1614 |
Rectangle r = oldLink.getBounds(); |
| 1621 |
gc.setForeground(fg); |
1615 |
redraw(r.x, r.y, r.width, r.height, true); |
| 1622 |
oldLink.paintFocus(gc, bg, fg, false, null); |
1616 |
update(); |
| 1623 |
} |
1617 |
} |
| 1624 |
if (newLink != null) { |
1618 |
if (newLink != null) { |
| 1625 |
// ensureVisible(newLink); |
1619 |
GC gc = new GC(this); |
|
|
1620 |
Color bg = getBackground(); |
| 1621 |
Color fg = getForeground(); |
| 1622 |
gc.setFont(getFont()); |
| 1626 |
gc.setBackground(bg); |
1623 |
gc.setBackground(bg); |
| 1627 |
gc.setForeground(fg); |
1624 |
gc.setForeground(fg); |
| 1628 |
newLink.paintFocus(gc, bg, fg, true, null); |
1625 |
newLink.paintFocus(gc, bg, fg, true, null); |
|
|
1626 |
gc.dispose(); |
| 1629 |
} |
1627 |
} |
| 1630 |
gc.dispose(); |
|
|
| 1631 |
} |
1628 |
} |
| 1632 |
|
1629 |
|
| 1633 |
private void ensureVisible(IFocusSelectable segment) { |
1630 |
private void ensureVisible(IFocusSelectable segment) { |
