[Konsole-devel] [konsole] [Bug 357974] New: Make time period when activity monitoring is masked configurable.

Piotr Dobrogost via KDE Bugzilla bugzilla_noreply at kde.org
Thu Jan 14 10:44:28 UTC 2016


https://bugs.kde.org/show_bug.cgi?id=357974

            Bug ID: 357974
           Summary: Make time period when activity monitoring is masked
                    configurable.
           Product: konsole
           Version: 15.08.0
          Platform: Other
                OS: Linux
            Status: UNCONFIRMED
          Severity: normal
          Priority: NOR
         Component: monitoring
          Assignee: konsole-devel at kde.org
          Reporter: p at bugs.kde.dobrogost.net

>From bug #257752 comment 2:
"The activity notification is now masked for a while after it is triggered.
That is basically what KDE3 konsole does. The mask interval is intended
to avoid the flooding of notification and is hardcoded as 15 seconds
at the moment. Maybe that interval should be user configurable."

When using activity monitoring while developing javascript with devel tool like
webpack the hardcoded period of 15 seconds is too long which makes subsequent
edits to source file (within this period) to lack notification. Configurable
period when notifications are masked would solve this problem.

Reproducible: Always

-- 
You are receiving this mail because:
You are the assignee for the bug.


More information about the konsole-devel mailing list