1ed5507d_nipulating_library__GUI__tools__Description
[Name] _number_tool [Description] 
Tool to edit arbitrary number. Parameter specifies name of the number and it is possilbe in script to specify predefined set of number, that will be available in a drop-down box. User is still able to type in a number not present in the list.
PDFedit - pdf manipulating library, GUI, tools
Description