Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Refine log console message UX #7448

Merged
merged 4 commits into from Nov 1, 2019
Merged

Refine log console message UX #7448

merged 4 commits into from Nov 1, 2019

Commits on Oct 31, 2019

  1. Make the log console status bar widget display new messages, not just… 

    … log entries.

This makes it clearer when new things are coming in, and gives a sense for how many new things.
    @jasongrout
    jasongrout committed Oct 31, 2019
    Copy the full SHA
    27c4c86 View commit details
    Browse the repository at this point in the history

  2. Output area calls a new protected function to determine if outputs sh… 

    …ould be combined.

This allows subclasses of output area to define their own collapsing semantics, which may be less aggressive than the default output area behavior.
    @jasongrout
    jasongrout committed Oct 31, 2019
    Copy the full SHA
    d59af07 View commit details
    Browse the repository at this point in the history

  3. In the logger, only combine outputs if they have the same second (whi… 

    …ch is the resolution for our timestamp).

This means that visually, we are telling the truth with the timestamp - every message displayed with that time is the same time, to the resolution of the display (which is one second).
    @jasongrout
    jasongrout committed Oct 31, 2019
    Copy the full SHA
    c0ce902 View commit details
    Browse the repository at this point in the history

  4. Update the log prompt title to include the full date

    @jasongrout
    jasongrout committed Oct 31, 2019
    Copy the full SHA
    050089e View commit details
    Browse the repository at this point in the history