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
 #1

Updated by Per Amundsen over 10 years ago

  • Status changed from Assigned to Resolved
Actions
Copy link
 #2

Updated by Per Amundsen over 10 years ago

  • Status changed from Resolved to Closed
Actions
Copy link

Also available in: Atom PDF