I wonder whether any of you GUI people know if a widget(?)
exists which supplies (if that is the word) what I can only
call a "dual row" of tabs? At the top of a box(?), to allow
the user to choose different pages(?).
I don't have any easy way to show you what I mean, but they
exist in other operating systems (or windowing systems), so
I hope this will give you an idea: