hegyi [Tue, 03 Jan 2006 14:56:45 +0000] rev 102
Handling of tabs is rationalized a bit. More than one file can be given at startup in command prompt. If there is no file given in command prompt, an empty tab will be present at startup.
ladanyi [Mon, 19 Dec 2005 16:59:05 +0000] rev 101
Fix crash when the input file does not contain any nodeset or edgeset.
ladanyi [Sun, 18 Dec 2005 01:51:03 +0000] rev 100
Added guipixbufs.h to BUILT_SOURCES. This solves 'make dist' problems.