--- a/Debugger/DebugViewer.py Sat Jun 30 17:03:09 2012 +0200 +++ b/Debugger/DebugViewer.py Sun Jul 01 12:50:37 2012 +0200 @@ -32,6 +32,7 @@ from .WatchPointViewer import WatchPointViewer import UI.PixmapCache +import Preferences from E5Gui.E5TabWidget import E5TabWidget @@ -232,6 +233,16 @@ self.debugServer.clientStack.connect(self.handleClientStack) + self.__autoViewSource = Preferences.getDebugger("AutoViewSourceCode") + self.sourceButton.setVisible(not self.__autoViewSource) + + def preferencesChanged(self): + """ + Public slot to handle the preferencesChanged signal. + """ + self.__autoViewSource = Preferences.getDebugger("AutoViewSourceCode") + self.sourceButton.setVisible(not self.__autoViewSource) + def setDebugger(self, debugUI): """ Public method to set a reference to the Debug UI. @@ -355,6 +366,9 @@ self.framenr = frmnr self.debugServer.remoteClientVariables(0, self.localsFilter, frmnr) + if self.__autoViewSource: + self.__showSource() + def __setGlobalsFilter(self): """ Private slot to set the global variable filter