Project

General

Profile

Feature #497

Case insensitive reference jumps

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

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

100%

Description

Reference jump are too sensitive since they care about case.

Associated revisions

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

Made reference jumps case insensitive. Closes #497.

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

Made reference jumps case insensitive. Closes #497.

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

Made reference jumps case insensitive. Closes #497.

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 r294.

Also available in: Atom PDF