Project

General

Profile

Feature #496

Highlighting of selected words

Added by Luke Murphey over 11 years ago. Updated over 11 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Luke Murphey
Target version:
0.2
Start date:
12/27/2012
Due date:
% Done:

100%

Description

Add highlighting of all words matching the one you are hovering over.

Associated revisions

Revision 288 (diff)
Added by Luke Murphey over 11 years ago

Added highlighting of hovered words. Closes #496.

Revision 288 (diff)
Added by Luke Murphey over 11 years ago

Added highlighting of hovered words. Closes #496.

Revision 280 (diff)
Added by Luke Murphey over 11 years ago

Added highlighting of hovered words. Closes #496.

History

#1 Updated by Luke Murphey over 11 years ago

  • Status changed from New to Closed
  • % Done changed from 0 to 100

Applied in changeset r288.

Also available in: Atom PDF