![]() |
Display attributes: displays attributes of elements.
|
![]() |
Display of inherited classes: allows display of the tag definitions that a tag definition has inherited.
|
![]() |
Display types: displays the namespace types.
|
![]() |
Display of elements: displays attributes of elements.
|
![]() |
Keep editor in front
|
![]() |
Tree only: hides the right-hand part of the editor.
|
![]() |
Details: displays properties of elements.
|
![]() |
Refresh: refreshes the window to take into account new elements.
|