UI/UserInterface.py

changeset 2370
e4a2a12f8e23
parent 2369
0b7b019247e5
child 2400
c1726b754f96
equal deleted inserted replaced
2369:0b7b019247e5 2370:e4a2a12f8e23
3322 3322
3323 @param save flag indicating that the current profile should 3323 @param save flag indicating that the current profile should
3324 be saved (boolean) 3324 be saved (boolean)
3325 """ 3325 """
3326 self.viewmanager.searchWidget().hide() 3326 self.viewmanager.searchWidget().hide()
3327 self.viewmanager.replaceWidget.hide() 3327 self.viewmanager.replaceWidget().hide()
3328 self.__activateViewProfile("debug", save) 3328 self.__activateViewProfile("debug", save)
3329 self.setDebugProfileAct.setChecked(True) 3329 self.setDebugProfileAct.setChecked(True)
3330 3330
3331 def getViewProfile(self): 3331 def getViewProfile(self):
3332 """ 3332 """

eric ide

mercurial