diff options
| author | Hugo Thunnissen <devel@hugot.nl> | 2023-08-07 20:55:34 +0200 |
|---|---|---|
| committer | Hugo Thunnissen <devel@hugot.nl> | 2023-08-07 20:55:34 +0200 |
| commit | db3ec3b67d617a650c3a7479d018564c354c5d6a (patch) | |
| tree | bedea6b13301a554b4a4094c4e3611630f3c2039 /phpinspect-pipeline.el | |
| parent | 5fe0b7bdc51d4f317668f92c0cf668c8cc840c22 (diff) | |
Add custom variables for worker and pipeline pause time
Diffstat (limited to 'phpinspect-pipeline.el')
| -rw-r--r-- | phpinspect-pipeline.el | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/phpinspect-pipeline.el b/phpinspect-pipeline.el index 021a730..3c3069d 100644 --- a/phpinspect-pipeline.el +++ b/phpinspect-pipeline.el @@ -28,9 +28,20 @@ (define-error 'phpinspect-pipeline-incoming "Signal for incoming pipeline data") (define-error 'phpinspect-pipeline-error "Signal for pipeline errors") -(defvar phpinspect-pipeline-pause-time 0.5 +(defcustom phpinspect-pipeline-pause-time 0.5 "Number of seconds to pause a pipeline thread when emacs receives -user input.") +user input. This is similar to `phpinspect-worker-pause-time', +but pipelines are meant to run in bursts. For that reason, the +default pause time for pipelines is lower to be a little more +aggressive in hogging cpu time. + +Set this variable to a higher value if you experience a lot of +jitter when editing during pipeline operations. At the time of +writing, pipelines are used to refresh the project +index/autoloader and for the indexation of \"include\" +directories." + :type 'number + :group 'phpinspect) (cl-defstruct (phpinspect-pipeline-end (:constructor phpinspect-make-pipeline-end)) (value nil |
