Project

General

Profile

Actions
Copy link

Bug #1839

closed

$highlight(N) should ignore decimal numbers

Added by Per Amundsen almost 10 years ago. Updated almost 10 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Per Amundsen
Category:
Scripting
Target version:
1.9.6
Start date:
01/10/2015
Due date:
% Done:

0%

Estimated time:
Operative System:
All
Regression:
No

Description

$highlight(N) should ignore decimal numbers

Actions
Copy link

Also available in: Atom PDF