TeXZilla: use an action button instead of a widget.