Feature #497
Case insensitive reference jumps
Start date:
12/28/2012
Due date:
% Done:
100%
Description
Reference jump are too sensitive since they care about case.
Associated revisions
Made reference jumps case insensitive. Closes #497.
Made reference jumps case insensitive. Closes #497.
Made reference jumps case insensitive. Closes #497.
History
#1
Updated by Luke Murphey almost 12 years ago
Updated by - Status changed from New to Closed
- % Done changed from 0 to 100
Applied in changeset r294.