-
Notifications
You must be signed in to change notification settings - Fork 46
Description
Problem to Solve
Errors, warnings, and infos currently accumulate on the right side of the UI unless explicitly closed. This clogs up the UI, and can be confusing when successive queries trigger different errors.
Proposed Solution
Add a notification panel for these items. When notifications appear, they appear as popups as in the current implementation. If the user runs a query with notifications open, those existing notifications are minimised to the panel where they can be read and deleted later on. Other events that trigger a notification (e.g. session being closed on server) also minimises currently open notifications, so that at any time the only notifications shown as popups are from the most recent event, and no popups are shown if the most recent event triggered no notifications. Within the panel, notifications are divided by triggering event and timestamped.