rules: gui.js: tabs