Project

General

Profile

Actions
Copy link

Feature #1217

closed

Add missing identifier $highlight()

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

Status:
Closed
Priority:
Normal
Assignee:
Per Amundsen
Category:
Scripting
Target version:
1.9.3
Start date:
03/18/2014
Due date:
% Done:

0%

Estimated time:
Operative System:
All

Description

Add missing identifier $highlight()

Actions
Copy link

Also available in: Atom PDF