- [ toolbar#toolBarEventBox; proof#proofWinEventBox; main#mainWinEventBox;
- check#checkWinEventBox; script#scriptWinEventBox; main#consoleEventBox;
- browser#browserWinEventBox
- ]
+ [ toolbar#toolBarEventBox; main#mainWinEventBox;
+ script#scriptWinEventBox; main#consoleEventBox ]