diff playtree.h @ 33894:b2e63fe7fe17

Remove needless guiInfo member FilenameChanged. Use existing member NewPlay for this, because FilenameChanged and NewPlay == GUI_FILE_NEW mean the same.
author ib
date Fri, 12 Aug 2011 14:09:36 +0000
parents 2df1a5fee8a7
children 87a1b3a11b33
line wrap: on
line diff