[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