513 |
513 |
514 @param checked flag indicating the checked state of the button (boolean) |
514 @param checked flag indicating the checked state of the button (boolean) |
515 """ |
515 """ |
516 self.__autoHide = not checked |
516 self.__autoHide = not checked |
517 if self.__autoHide: |
517 if self.__autoHide: |
518 self.__autoHideButton.setIcon(UI.PixmapCache.getIcon("autoHideOn")) |
518 self.__autoHideButton.setIcon(UI.PixmapCache.getIcon("autoHideOn.png")) |
519 else: |
519 else: |
520 self.__autoHideButton.setIcon(UI.PixmapCache.getIcon("autoHideOff")) |
520 self.__autoHideButton.setIcon(UI.PixmapCache.getIcon("autoHideOff.png")) |
521 |
521 |
522 def __appFocusChanged(self, old, now): |
522 def __appFocusChanged(self, old, now): |
523 """ |
523 """ |
524 Private slot to handle a change of the focus. |
524 Private slot to handle a change of the focus. |
525 |
525 |