| <!--<window xmlns='http://ttcn.ericsson.se/protocolModules/xtdp/xtdl' height='386.000000' | |
| id='EPTF_Main_Window' orientation='vertical' title='TTCN constructed window' | |
| width='820.000000'> --> | |
| <Widgets xmlns='http://ttcn.ericsson.se/protocolModules/xtdp/xtdl'> | |
| <button | |
| checked='false' | |
| disabled='false' | |
| flex='1.000000' | |
| id='jensen' | |
| label='Jensen'> | |
| </button> | |
| </Widgets> | |