diff gui/ui/gtk/tools.c @ 33901:d4f80f889106

Cosmetic: Rename guiInfo members. Change Movie into Video.
author ib
date Mon, 15 Aug 2011 13:27:58 +0000
parents d9b805602aa1
children
line wrap: on
line diff