update settings menu, misc tweaks and fixes

This commit is contained in:
2020-09-24 10:45:15 -05:00
parent 9558370ab9
commit 4c8e6c3d5f
6 changed files with 97 additions and 81 deletions

View File

@@ -5,6 +5,7 @@ require "abbrev"
require "time"
require "socket"
require "tmpdir"
require "securerandom"
require "opengl"
require "glu"