def setInfo(self, info=None):
""" Set the shell info struct, and use it to update the widgets.
Not via init, because this function also sets the tab name.
"""
# If info not given, use default as specified by the KernelInfo struct
if info is None:
info = KernelInfo()
# Name
n = self.parent().parent().count()
if n > 1:
info.name = "Shell config %i" % n
# Store info
self._info = info
# Set widget values according to info
try:
for key in info:
widget = self._shellInfoWidgets.get(key, None)
if widget is not None:
widget.setTheText(info[key])
except Exception as why:
print("Error setting info in shell config:", why)
print(info)
def setInfo(self, info=None):
""" Set the shell info struct, and use it to update the widgets.
Not via init, because this function also sets the tab name.
"""
# If info not given, use default as specified by the KernelInfo struct
if info is None:
info = KernelInfo()
# Name
n = self.parent().parent().count()
if n > 1:
info.name = "Shell config %i" % n
# Store info
self._info = info
# Set widget values according to info
try:
for key in info:
widget = self._shellInfoWidgets.get(key, None)
if widget is not None:
widget.setTheText(info[key])
except Exception as why:
print("Error setting info in shell config:", why)
print(info)
def useFound(self):
# Set newfound interpreter
if self._the_exe:
configs = pyzo.config.shellConfigs2
if not configs:
from pyzo.core.kernelbroker import KernelInfo
pyzo.config.shellConfigs2.append(KernelInfo())
configs[0].exe = self._the_exe
self.restart_shell()
self.refresh()
def __init__(self, parent=None, locale=None):
QtWidgets.QMainWindow.__init__(self, parent)
self._closeflag = 0 # Used during closing/restarting
# Init window title and application icon
# Set title to something nice. On Ubuntu 12.10 this text is what
# is being shown at the fancy title bar (since it's not properly
# updated)
self.setMainTitle()
loadAppIcons()
self.setWindowIcon(pyzo.icon)
# Restore window geometry before drawing for the first time,
# such that the window is in the right place
self.resize(800, 600) # default size
self.restoreGeometry()
# Show splash screen (we need to set our color too)
w = SplashWidget(self, distro="no distro")
self.setCentralWidget(w)
self.setStyleSheet("QMainWindow { background-color: #268bd2;}")
# Show empty window and disable updates for a while
self.show()
self.paintNow()
self.setUpdatesEnabled(False)
# Determine timeout for showing splash screen
splash_timeout = time.time() + 1.0
# Set locale of main widget, so that qt strings are translated
# in the right way
if locale:
self.setLocale(locale)
# Store myself
pyzo.main = self
# Init dockwidget settings
self.setTabPosition(QtCore.Qt.AllDockWidgetAreas,
QtWidgets.QTabWidget.South)
self.setDockOptions(QtWidgets.QMainWindow.AllowNestedDocks
| QtWidgets.QMainWindow.AllowTabbedDocks
# | QtWidgets.QMainWindow.AnimatedDocks
)
# Set window atrributes
self.setAttribute(QtCore.Qt.WA_AlwaysShowToolTips, True)
# Load icons and fonts
loadIcons()
loadFonts()
# Set qt style and test success
self.setQtStyle(None) # None means init!
# Hold the splash screen if needed
while time.time() < splash_timeout:
QtWidgets.qApp.flush()
QtWidgets.qApp.processEvents()
time.sleep(0.05)
# Populate the window (imports more code)
self._populate()
# Revert to normal background, and enable updates
self.setStyleSheet("")
self.setUpdatesEnabled(True)
# Restore window state, force updating, and restore again
self.restoreState()
self.paintNow()
self.restoreState()
# Present user with wizard if he/she is new.
if False: # pyzo.config.state.newUser:
from pyzo.util.pyzowizard import PyzoWizard
w = PyzoWizard(self)
w.show(
) # Use show() instead of exec_() so the user can interact with pyzo
# Create new shell config if there is None
if not pyzo.config.shellConfigs2:
from pyzo.core.kernelbroker import KernelInfo
pyzo.config.shellConfigs2.append(KernelInfo())
# Focus on editor
e = pyzo.editors.getCurrentEditor()
if e is not None:
e.setFocus()
# Handle any actions
commandline.handle_cmd_args()
def __init__(self, parent=None, locale=None):
'''
Important: do *all* inits here. Do *not* call MainWindow.__init__.
This allows us complete control over all aspects of the startup process.
This method is based on pyzo code
Copyright (C) 2013-2018 by Almar Klein.
'''
#
# pylint: disable=non-parent-init-called, super-init-not-called
QtWidgets.QMainWindow.__init__(self, parent)
#
# Do **not** call MainWindow.__init__: it calls _populate!
#
self.setObjectName('MainWindowShim')
self.monkey_patch_leo()
pyzo.loadConfig()
# To be replaced by LeoPyzoConfig.loadConfig.
self._closeflag = 0
# Used during closing/restarting
#
# Init window title and application icon
# Set title to something nice. On Ubuntu 12.10 this text is what
# is being shown at the fancy title bar (since it's not properly
# updated)
self.setWindowTitle('Leo Main Window')
pyzo.core.main.loadAppIcons()
g.app.gui.attachLeoIcon(self)
#
# Restore window geometry before drawing for the first time.
self.resize(800, 600) # default size
self.restoreGeometry()
#
# This just slows down the initial draw.
# self.setCentralWidget(SplashShim(parent))
#
# These do nothing, even when use_shell is True.
# self.setStyleSheet("QMainWindow { background-color: #268bd2;}")
# self.setStyleSheet("QMainWindow { background-color: red;}")
#
# Show empty window and disable updates for a while
if self.initial_draw:
self.show()
self.paintNow()
self.setUpdatesEnabled(False)
#
# Set locale of main widget, for translate.
if locale:
self.setLocale(locale)
#
# Store myself
pyzo.main = self
#
# Init dockwidget settings
self.setTabPosition(QtCore.Qt.AllDockWidgetAreas,
QtWidgets.QTabWidget.South)
self.setDockOptions(QtWidgets.QMainWindow.AllowNestedDocks
| QtWidgets.QMainWindow.AllowTabbedDocks
#| QtWidgets.QMainWindow.AnimatedDocks
)
#
# Set window atrributes
self.setAttribute(QtCore.Qt.WA_AlwaysShowToolTips, True)
#
# Load pyzo icons and fonts.
pyzo.core.main.loadIcons()
pyzo.core.main.loadFonts()
#
# Set qt style and test success
self.setQtStyle(None) # None means init!
#
# Populate the window (imports more code)
self._populate()
#
# Revert to normal background, and enable updates
self.setStyleSheet('')
# Required.
self.setUpdatesEnabled(True)
#
# Restore window state, force updating, and restore again
self.restoreState()
if not self.initial_draw:
self.show()
self.paintNow()
self.restoreState()
#
# Create new shell config if there is None
if not pyzo.config.shellConfigs2:
from pyzo.core.kernelbroker import KernelInfo
pyzo.config.shellConfigs2.append(KernelInfo())
#
# EKR: Set background.
if getattr(pyzo.config.settings, 'dark_theme', None):
bg = getattr(pyzo.config.settings, 'dark_background', '#657b83')
# Default: solarized base00
try:
self.setStyleSheet("background: %s" % bg)
except Exception:
g.pr('oops: MainWindow.__init__')
#
# Put the focus on editor
e = pyzo.editors.getCurrentEditor()
if e is not None:
e.setFocus()
#
# Handle any actions
pyzo.core.commandline.handle_cmd_args()
def main_window_ctor(self):
"""
Simulate MainWindow.__init__().
This code, included commented-out code, is based on pyzo.
Copyright (C) 2013-2019 by Almar Klein.
"""
# print('\nBEGIN main_window_ctor\n')
# EKR:change. New imports
import pyzo.core.main as main
from pyzo.core import commandline
# EKR:change: was self.
main_window = g.app.gui.main_window
# EKR:change.
# QtWidgets.QMainWindow.__init__(self, parent)
main_window._closeflag = 0 # Used during closing/restarting
# EKR:change.
# # Init window title and application icon
# self.setMainTitle()
# EKR:change.
main.loadAppIcons()
pyzo.icon = g.app.gui.appIcon
# Don't patch this now. It might be a good indicator.
# pyzo.iconRunning = g.app.gui.appIcon
# loadAppIcons()
# EKR:change.
# self.setWindowIcon(pyzo.icon)
# EKR:change.
# Restore window geometry.
# self.resize(800, 600) # default size
# self.restoreGeometry()
# EKR:change.
# Show splash screen (we need to set our color too)
# w = SplashWidget(self, distro='no distro')
# EKR:change.
# self.setCentralWidget(w)
# EKR:change.
# self.setStyleSheet("QMainWindow { background-color: #268bd2;}")
# Show empty window and disable updates for a while
# EKR:change.
# self.show()
# self.paintNow()
# self.setUpdatesEnabled(False)
# EKR:change.
# Determine timeout for showing splash screen
# splash_timeout = time.time() + 1.0
# EKR:change.
# Set locale of main widget, so that qt strings are translated
# in the right way
# if locale:
# self.setLocale(locale)
# Set pyzo.main.
pyzo.main = main_window
# EKR:change-Add do-nothing methods.
pyzo.main.setMainTitle = g.TracingNullObject(
tag='pyzo.main.setMainTitle()')
pyzo.main.restart = g.TracingNullObject(tag='pyzo.main.restart()')
# Init dockwidget settings
main_window.setTabPosition(QtCore.Qt.AllDockWidgetAreas,
QtWidgets.QTabWidget.South)
main_window.setDockOptions(QtWidgets.QMainWindow.AllowNestedDocks
| QtWidgets.QMainWindow.AllowTabbedDocks
#| QtWidgets.QMainWindow.AnimatedDocks
)
# Set window atrributes
main_window.setAttribute(QtCore.Qt.WA_AlwaysShowToolTips, True)
# EKR:change.
# Load icons and fonts
main.loadIcons()
main.loadFonts()
# loadIcons()
# loadFonts()
# EKR:change.
# # Set qt style and test success
# self.setQtStyle(None) # None means init!
# EKR:change.
# # Hold the splash screen if needed
# while time.time() < splash_timeout:
# QtWidgets.qApp.flush()
# QtWidgets.qApp.processEvents()
# time.sleep(0.05)
# EKR:change.
# Populate the window (imports more code)
self.main_window_populate()
# self._populate()
# EKR:change: new code.
self.load_all_pyzo_docks()
# EKR:change.
# Revert to normal background, and enable updates
main_window.setStyleSheet('')
main_window.setUpdatesEnabled(True)
# EKR:change. Could this be a problem?
# # Restore window state, force updating, and restore again
# self.restoreState()
# self.paintNow()
# self.restoreState()
# EKR:change.
# Present user with wizard if he/she is new.
# if pyzo.config.state.newUser:
# from pyzo.util.pyzowizard import PyzoWizard
# w = PyzoWizard(self)
# w.show() # Use show() instead of exec_() so the user can interact with pyzo
# EKR:change
# # Create new shell config if there is None
# if not pyzo.config.shellConfigs2:
# from pyzo.core.kernelbroker import KernelInfo
# pyzo.config.shellConfigs2.append( KernelInfo() )
from pyzo.core.kernelbroker import KernelInfo
# pyzo.config.shellConfigs2.append( KernelInfo() )
pyzo.config.shellConfigs2 = [KernelInfo()]
# EKR:change Set background.
# bg = getattr(pyzo.config.settings, 'dark_background', '#657b83')
# # Default: solarized base00
# try:
# self.setStyleSheet(f"background: {bg}")
# except Exception:
# g.es_exception()
# Focus on editor
e = pyzo.editors.getCurrentEditor()
if e is not None:
e.setFocus()
# Handle any actions
commandline.handle_cmd_args()