diff command.c @ 35453:c8f3bba6250a

Add an uiSetFile() counterpart. Unset the file being played and clear all guiInfo information associated with the file.
author ib
date Sat, 01 Dec 2012 19:08:53 +0000
parents a25cdaa733cb
children 389d43c448b3
line wrap: on
line diff