Lines Matching defs:Page
6 TabbedPageSet -- A Tkinter implementation of a tabbed-page widget.
209 selecting a tab changes the page.
271 # rightmost edge of the page set, the right mask should be one
292 page is displayed. Only one page will be displayed at a time.
295 of pages, using the name given as the key. A page is an instance of a
298 The page widgets will be created (and destroyed when required) by the
299 TabbedPageSet. Do not call the page's pack/place/grid/destroy methods.
305 class Page(object):
322 class PageRemove(Page):
323 """Page class using the grid placement manager's "remove" mechanism."""
332 class PageLift(Page):
333 """Page class using the grid placement manager's "lift" mechanism."""
347 class PagePackForget(Page):
348 """Page class using the pack placement manager's "forget" mechanism."""
361 page's widget, and the name displayed on the page's tab. Should be
362 specified in the desired page order. The first page will be the default
363 and first active page. If page_names is None or empty, the
372 a page is selected, it will be brought to the top, thus hiding all
377 * PageRemove - When a page is selected, the currently showing page is
378 hidden, and the new page shown in its place. Using this method, the
382 When a page is shown it is packed, and when it is hidden it is
384 TabbedPageSet to resize when the page is changed.
416 """Add a new page with the name given in page_name."""
427 if len(self.pages) == 1: # adding first page
432 """Destroy the page whose name is given in page_name."""
438 # handle removing last remaining, default, or currently shown page
441 # set a new default page
450 page = self.pages.pop(page_name)
451 page.frame.destroy()
454 """Show the page whose name is given in page_name."""
481 buttonAdd=Button(root, text='Add Page',
483 buttonRemove=Button(root, text='Remove Page',
485 labelPgName=Label(root, text='name of page to add/remove:')
