pyqt-code-editor 0.0.38__tar.gz → 0.0.40__tar.gz

{pyqt_code_editor-0.0.38 → pyqt_code_editor-0.0.40}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: pyqt_code_editor
-Version: 0.0.38
+Version: 0.0.40
 Summary: Fully featured code-editor widgets for PyQt
 Keywords: code editor,pyqt,ide
 Author-email: Sebastiaan Mathôt <s.mathot@cogsci.nl>

{pyqt_code_editor-0.0.38 → pyqt_code_editor-0.0.40}/pyqt_code_editor/__init__.py

@@ -2,4 +2,4 @@
 
 from ._settings import settings
 
-__version__ = '0.0.38'
+__version__ = '0.0.40'

{pyqt_code_editor-0.0.38 → pyqt_code_editor-0.0.40}/pyqt_code_editor/_settings.py

@@ -230,8 +230,8 @@ class Settings(QObject):
         from .utils import get_first_available_font
     
         self.font_family = get_first_available_font(
-            ['Ubuntu Mono', 'Liberation Mono', 'DejaVu Sans Mono', 'Courier New',
-             'monospace'])
+            ['Ubuntu Mono', 'Liberation Mono', 'DejaVu Sans Mono', 'Consolas', 
+             'Menlo', 'Courier New', 'monospace'])
     
         # Fallback if no font was found
         if self.font_family is None:

{pyqt_code_editor-0.0.38 → pyqt_code_editor-0.0.40}/pyqt_code_editor/mixins/base.py

@@ -74,6 +74,9 @@ class Base:
         so we can handle multiple concurrent requests.
         """
         result_queue, pid = manager.send_worker_request(**data)
+        if result_queue is None:
+            logger.info('Request ignored')
+            return
         self._active_requests[pid] = result_queue
         logger.info(f"Sent request to worker {pid}, now tracking {len(self._active_requests)} active requests.")
 

{pyqt_code_editor-0.0.38 → pyqt_code_editor-0.0.40}/pyqt_code_editor/worker/manager.py

@@ -7,6 +7,7 @@ logger = logging.getLogger(__name__)
 STOP_UNUSED_INTERVAL = 10
 _last_stop_unused_time = 0
 _workers = {}  # pid -> {"process", "request_queue", "result_queue", "is_free"}
+suspended = False
 
 
 def send_worker_request(**data) -> (Queue, int):
@@ -16,7 +17,11 @@ def send_worker_request(**data) -> (Queue, int):
 
     The caller can poll the result_queue for responses, and once done,
     call mark_worker_as_free(pid) to release this worker for future use.
+    
+    If workers are suspended, return (None, None).
     """
+    if suspended:
+        return None, None
     # 1. Look for an existing free worker
     for pid, w in list(_workers.items()):
         if w["is_free"] and w["process"].is_alive():
@@ -100,7 +105,7 @@ def stop_all_workers():
     """
     Cleanly shut down all worker processes.
     """
-    logger.info("Stopping all worker processes...")
+    logger.info(f"Stopping {len(_workers)} worker processes...")
     for pid, w in list(_workers.items()):
         if w["process"].is_alive():
             logger.info(f"Stopping worker {pid}.")
@@ -116,4 +121,23 @@ def update_setting(name, value):
     for pid, w in _workers.items():
         if w["process"].is_alive():
             w["request_queue"].put(settings_action)            
+            
+            
+def suspend():
+    """Stops all worker processes and ignores all requests until resume() is 
+    called.
+    """
+    global suspended
+    suspended = True
+    logger.info("Suspending worker processes...")
+    stop_all_workers()
+    
+    
+def resume():
+    """Resumes accepting requests."""
+    global suspended
+    suspended = False
+    logger.info("Resuming worker processes...")
+
+            
 settings.setting_changed.connect(update_setting)