Fix bugs in the GLUI_FileBrowser class