Mercurial Repositories > eric / file diff

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/eric7/RemoteServerInterface/EricServerConnectionDialog.py	Mon Jan 29 19:50:44 2024 +0100
@@ -0,0 +1,164 @@
+# -*- coding: utf-8 -*-
+
+# Copyright (c) 2024 Detlev Offenbach <detlev@die-offenbachs.de>
+#
+
+
+"""
+Module implementing a dialog to enter the parameters for a connection to an eric-ide
+server.
+"""
+
+import ipaddress
+
+from PyQt6.QtCore import pyqtSlot
+from PyQt6.QtWidgets import QDialog, QDialogButtonBox
+
+from eric7 import Preferences
+
+from .Ui_EricServerConnectionDialog import Ui_EricServerConnectionDialog
+
+
+class EricServerConnectionDialog(QDialog, Ui_EricServerConnectionDialog):
+    """
+    Class implementing a dialog to enter the parameters for a connection to an eric-ide
+    server.
+    """
+
+    def __init__(self, profileNames=None, parent=None):
+        """
+        Constructor
+
+        @param profileNames list of defined connection profile names (defaults to None)
+        @type list of str (optional)
+        @param parent reference to the parent widget (defaults to None)
+        @type QWidget (optional)
+        """
+        super().__init__(parent)
+        self.setupUi(self)
+
+        self.timeoutSpinBox.setToolTip(
+            self.tr("Enter the timeout for the connection attempt (default: {0} s.")
+            .format(Preferences.getEricServer("ConnectionTimeout"))
+        )
+
+        self.buttonBox.button(QDialogButtonBox.StandardButton.Ok).setEnabled(False)
+
+        if profileNames is None:
+            self.nameLabel.setVisible(False)
+            self.nameEdit.setVisible(False)
+            self.nameEdit.setEnabled(False)
+
+        self.__profileNames = profileNames[:] if bool(profileNames) else []
+        self.__originalName = ""
+
+        self.nameEdit.textChanged.connect(self.__updateOK)
+        self.hostnameEdit.textChanged.connect(self.__updateOK)
+
+        msh = self.minimumSizeHint()
+        self.resize(max(self.width(), msh.width()), msh.height())
+
+    @pyqtSlot(str)
+    def on_hostnameEdit_textChanged(self, hostname):
+        """
+        Private slot handling a change of the hostname.
+
+        @param hostname text of the host name field
+        @type str
+        """
+    @pyqtSlot()
+    def __updateOK(self):
+        """
+        Private slot to update the enabled state of the OK button.
+        """
+        hostname = self.hostnameEdit.text()
+
+        if hostname and hostname[0] in "0123456789" and ":" not in hostname:
+            # possibly an IPv4 address
+            try:
+                ipaddress.IPv4Address(hostname)
+                valid = True
+            except ipaddress.AddressValueError:
+                # leading zeros are not allowed
+                valid = False
+        elif ":" in hostname:
+            # possibly an IPv6 address
+            try:
+                ipaddress.IPv6Address(hostname)
+                valid = True
+            except ipaddress.AddressValueError:
+                # leading zeros are not allowed
+                valid = False
+        elif ":" not in hostname:
+            valid = bool(hostname)
+        else:
+            valid = False
+
+        if self.nameEdit.isEnabled():
+            # connection profile mode
+            name = self.nameEdit.text()
+            valid &=  name == self.__originalName or name not in self.__profileNames
+
+        self.buttonBox.button(QDialogButtonBox.StandardButton.Ok).setEnabled(valid)
+
+    def getData(self):
+        """
+        Public method to get the entered data.
+
+        @return tuple containing the entered host name or IP address, the port number
+            and the timeout (in seconds)
+        @rtype tuple of (str, int, int)
+        """
+        port = self.portSpinBox.value()
+        if port == self.portSpinBox.minimum():
+            port = None
+
+        timeout = self.timeoutSpinBox.value()
+        if timeout == self.timeoutSpinBox.minimum():
+            timeout = None
+
+        return self.hostnameEdit.text(), port, timeout
+
+    def getProfileData(self):
+        """
+        Public method to get the entered data for connection profile mode.
+
+        @return tuple containing the profile name, host name or IP address,
+            the port number and the timeout (in seconds)
+        @rtype tuple of (str, str, int, int)
+        """
+        port = self.portSpinBox.value()
+        if port == self.portSpinBox.minimum():
+            port = 0
+
+        timeout = self.timeoutSpinBox.value()
+        if timeout == self.timeoutSpinBox.minimum():
+            timeout = 0
+
+        return self.nameEdit.text(), self.hostnameEdit.text(), port, timeout
+
+    def setProfileData(self, name, hostname, port, timeout):
+        """
+        Public method to set the connection profile data to be edited.
+
+        @param name profile name
+        @type str
+        @param hostname host name or IP address
+        @type str
+        @param port port number
+        @type int
+        @param timeout timeout value in seconds
+        @type int
+        """
+        # adjust some values
+        if not bool(port):
+            port = self.portSpinBox.minimum()
+        if not bool(timeout):
+            timeout = self.timeoutSpinBox.minimum()
+
+        self.__originalName = name
+
+        self.nameEdit.setText(name)
+        self.hostnameEdit.setText(hostname)
+        self.portSpinBox.setValue(port)
+        self.timeoutSpinBox.setValue(timeout)