7 Sep
2005
7 Sep
'05
12:09 p.m.
Hi, The old resource file had kept accumulating things forever, including lots of things that were unused. This patch removes those unused elements. It also has the effect of reducing the end binary by 20Kb. In addition, the winhugs/resource directory contains the following unused files: button.bmp copybutt.bmp cutbutto.bmp deletebu.bmp disabled.bmp editbutt.bmp exitbutt.bmp gc.cur hand.cur helpbutt.bmp hierarch.bmp hierbutt.bmp hugs2.ico hugs32bm.bmp lambda.ico makebutt.bmp noassign.ico openfile.bmp openproj.bmp optionsb.bmp optionsd.bmp pastebut.bmp pushedbu.bmp relobutt.bmp resizeco.bmp runbutto.bmp smanbutt.bmp stopbutt.bmp world.ico Thanks Neil