Introduce REQUEST_TOOLTIP_DELAY

This commit is contained in:
Sebastian Serth
2021-11-24 09:16:06 +01:00
parent 34ffc9b825
commit 3572f5fbda

View File

@ -17,6 +17,7 @@ var CodeOceanEditor = {
//Request-For-Comments-Configuration
REQUEST_FOR_COMMENTS_DELAY: 0,
REQUEST_TOOLTIP_TIME: 5000,
REQUEST_TOOLTIP_DELAY: 10 * 60 * 1000,
editors: [],
editor_for_file: new Map(),
@ -444,10 +445,12 @@ var CodeOceanEditor = {
setTimeout(function () {
button.prop('disabled', false);
button.tooltip('show');
setTimeout(function () {
button.tooltip('hide');
}, this.REQUEST_TOOLTIP_TIME);
button.tooltip('show');
setTimeout(function () {
button.tooltip('hide');
}, this.REQUEST_TOOLTIP_TIME);
}, this.REQUEST_TOOLTIP_DELAY)
}.bind(this), this.REQUEST_FOR_COMMENTS_DELAY);
},