updated for version 7.4.332 Problem: GTK: When a sign icon doesn't fit exactly there can be ugly gaps. Solution: Scale the sign to fit when the aspect ratio is not too far off. (Christian Brabandt)

/* if_ole.cpp */
void InitOLE __ARGS((int* pbDoRestart));
void UninitOLE __ARGS((void));
void RegisterMe __ARGS((int silent));
void UnregisterMe __ARGS((int bNotifyUser));