Miscellaneous

This section contains an assortment of useful GUI and other functions.

batch

clean-windows

file-selector

float-to-string

get-choice

get-text-from-user

get-platform

message-box

read-string

return-result

string-sort

string-to-float