model_server/ui_browser/src/browserShell.h.cxx
//
// Remove 'funny' characters from a widget name. 
//
Remove 'funny' characters from a widget name.
Remove ' funny ' characters from a widget name .
static void widget_proper_name(const char *str, genString& name)
{
  Initialize(widget_proper_name);
  int len = strlen(str);
  for (int i = 0; i < len; i++)
    if (isalnum(str[i]))
      name += str[i];
    else
      name += '_';
}
static void widget_proper_name ( const char * str , genString & name ) { Initialize ( widget_proper_name ) ; int len = strlen ( str ) ; for ( int i = 0 ; i < len ; i ++ ) if ( isalnum ( str [ i ] ) ) name += str [ i ] ; else name += ' ' ; }
Remove 'funny' characters from a widget name.
Remove ' funny ' characters from a widget name .