1800 @param key the key of the value to get |
1800 @param key the key of the value to get |
1801 @return the requested debugger setting |
1801 @return the requested debugger setting |
1802 """ |
1802 """ |
1803 if key == "Python3Extensions": |
1803 if key == "Python3Extensions": |
1804 exts = [] |
1804 exts = [] |
1805 for ext in getDebugger(key, Prefs).split(): |
1805 for ext in getDebugger(key).split(): |
1806 if ext.startswith("."): |
1806 if ext.startswith("."): |
1807 exts.append(ext) |
1807 exts.append(ext) |
1808 else: |
1808 else: |
1809 exts.append(".{0}".format(ext)) |
1809 exts.append(".{0}".format(ext)) |
1810 return exts |
1810 return exts |
1828 |
1828 |
1829 @param key the key of the setting to be set |
1829 @param key the key of the setting to be set |
1830 @param value the value to be set |
1830 @param value the value to be set |
1831 """ |
1831 """ |
1832 if key == "Python3Extensions": |
1832 if key == "Python3Extensions": |
1833 setDebugger(key, value, Prefs) |
1833 setDebugger(key, value) |
1834 elif key in ( |
1834 elif key in ( |
1835 "ASTViewerErrorColor", "DisViewerErrorColor", |
1835 "ASTViewerErrorColor", "DisViewerErrorColor", |
1836 "DisViewerCurrentColor", "DisViewerLabeledColor", |
1836 "DisViewerCurrentColor", "DisViewerLabeledColor", |
1837 ): |
1837 ): |
1838 if value.alpha() < 255: |
1838 if value.alpha() < 255: |