Project

General

Profile

Actions

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:
Category:
Scripting
Target version:
Start date:
03/18/2014
Due date:
% Done:

0%

Estimated time:
Operative System:
All

Description

Add missing identifier $highlight()

Actions

Also available in: Atom PDF