TW.getInt( parent, title, label [, value [, min [, max [, step ] ] ] ] )
TW.getDouble( parent, title, label [, value [, min [, max [, decimals ] ] ] ] )
http://code.google.com/p/texworks/issues/detail?id=221
Created with the Personal Edition of HelpNDoc: Easy to use tool to create HTML Help files and Help web sites