Project

General

Profile

Actions
Copy link

Feature #858

closed

Add option to show an error for unknown identifiers

Added by Per Amundsen about 11 years ago. Updated about 11 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Per Amundsen
Category:
Scripting
Target version:
1.9.2
Start date:
11/12/2013
Due date:
% Done:

0%

Estimated time:
Operative System:
All

Description

Add option to show an error for unknown identifiers

Actions
Copy link

Also available in: Atom PDF