<s> """<STR_LIT>""" <EOL> from traits . api import Bool , HasTraits , Trait , TraitError , Constant <EOL> from traitsui . api import View , Item , VGroup <EOL> def not_empty_string ( object , name , value ) : <EOL> """<STR_LIT>""" <EOL> if isinstance ( value , basestring ) and ( value . strip ( ) != '<STR_LIT>' ) : <EOL> return value <EOL> raise TraitError <EOL> NotEmptyString = Trait ( '<STR_LIT>' , not_empty_string ) <EOL> class UserPerspectiveName ( HasTraits ) : <EOL> """<STR_LIT>""" <EOL> name = NotEmptyString <EOL> show_editor_area = Bool ( True ) <EOL> new_help = Constant ( """<STR_LIT>""" ) <EOL> new_view = View ( <EOL> VGroup ( <EOL> VGroup ( '<STR_LIT:name>' , '<STR_LIT>' ) , <EOL> VGroup ( '<STR_LIT:_>' , <EOL> Item ( '<STR_LIT>' , <EOL> style = '<STR_LIT>' ) , <EOL> show_labels = False <EOL> ) <EOL> ) , <EOL> title = '<STR_LIT>' , <EOL> id = '<STR_LIT>' <EOL> '<STR_LIT>' , <EOL> buttons = [ '<STR_LIT:OK>' , '<STR_LIT>' ] , <EOL> kind = '<STR_LIT>' , <EOL> width = <NUM_LIT> <EOL> ) <EOL> save_as_view = View ( '<STR_LIT:name>' , <EOL> title = '<STR_LIT>' , <EOL> id = '<STR_LIT>' <EOL> '<STR_LIT>' , <EOL> buttons = [ '<STR_LIT:OK>' , '<STR_LIT>' ] , <EOL> kind = '<STR_LIT>' , <EOL> width = <NUM_LIT> <EOL> ) <EOL> rename_view = View ( '<STR_LIT:name>' , <EOL> title = '<STR_LIT>' , <EOL> id = '<STR_LIT>' <EOL> '<STR_LIT>' , <EOL> buttons = [ '<STR_LIT:OK>' , '<STR_LIT>' ] , <EOL> kind = '<STR_LIT>' , <EOL> width = <NUM_LIT> <EOL> ) </s>
