Added <slider> widget to options.
tree485bb33ba76ed9fb99b20e5947d80f884b6cfd86
-rw-r--r-- 4594 .DirIcon
-rw-r--r-- 966 AppInfo.xml
-rwxr-xr-x 873 AppRun
drwxr-xr-x - Help
-rwxr-xr-x 1563 MakeDist
drwxr-xr-x - Messages
drwxr-xr-x - python