wb_scm_app.py 文件源码

def writePreferences( self ) -> None:
        super().writePreferences()

        self.setAppStyles()

        p = self.prefs.font_code
        if p.face is None or p.point_size is None:
            self.__code_font = self.font()

        else:
            self.__code_font = QtGui.QFont( p.face, p.point_size )

    # place fix style changes in this list