TW.getDouble( parent, title, label [, value [, min [, max [, decimals ] ] ] ] )
Picture shows the result after one upward click on the top small arrow, the interval is one by default here.
Cancel returns: undefined
http://code.google.com/p/texworks/issues/detail?id=221
Created with the Personal Edition of HelpNDoc: Full featured Documentation generator