[logdog-view] Update UX, fix bugs.

web/inc/logdog-stream-view/view.ts

 /*
   Copyright 2016 The LUCI Authors. All rights reserved.
   Use of this source code is governed under the Apache License, Version 2.0
   that can be found in the LICENSE file.
 */
 
 ///<reference path="../logdog-stream/logdog.ts" />
 ///<reference path="../luci-operation/operation.ts" />
 ///<reference path="../luci-sleep-promise/promise.ts" />
 ///<reference path="../rpc/client.ts" />
@@ skipping 10 matching lines @@
     /** No loading state (no status, loaded). */
     NONE,
     /** Resolving a glob into the set of streams via query. */
     RESOLVING,
     /** Loading stream content, alternates with RENDERING. */
     LOADING,
     /** Version of LOADING when the stream has been loading for a long time. */
     LOADING_BEEN_A_WHILE,
     /** Rendering loaded stream content. */
     RENDERING,
+    /** No operations in progress, but the log isn't fully loaded.. */
+    PAUSED,
     /** Error: Attempt to load failed w/ "Unauthenticated". */
     NEEDS_AUTH,
     /** Error: generic loading failure. */
     ERROR,
   }
 
   /** Registered callbacks used by Model. Implemented by View. */
   export interface ViewBinding {
     pushLogEntries(entries: LogDog.LogEntry[], l: Location): void;
     clearLogEntries(): void;
 
     updateControls(c: Controls): void;
     locationIsVisible(l: Location): boolean;
   }
 
-  /** Represents control visibility in the View. */
+  /** State of the split UI component. */
+  export enum SplitState {
+    /** The UI cannot be split. */
+    CANNOT_SPLIT,
+    /** The UI can be split, and isn't split. */
+    CAN_SPLIT,
+    /** The UI cannot be split, and is split. */
+    IS_SPLIT,
+  }
+
+  /**
+   * Represents state in the View.
+   *
+   * Modifying this will propagate to the view via "updateControls".
+   */
   type Controls = {
-    /** Are we completely finished loading stream data? */
-    canSplit: boolean;
-    /** Are we currently split? */
-    split: boolean;
-    /** Show the bottom bar? */
-    bottom: boolean;
     /** Is the content fully loaded? */
     fullyLoaded: boolean;
+    /** True if we should show the split option to the user. */
+    splitState: SplitState;
     /** If not undefined, link to this URL for the log stream. */
     logStreamUrl: string | undefined;
 
     /** Text in the status bar. */
     loadingState: LoadingState;
     /** Stream status entries, or null for no status window. */
     streamStatus: StreamStatusEntry[];
   };
 
   /** A value for the "status-bar" element. */
@@ skipping 15 matching lines @@
       logEnd: HTMLElement;
       logs: HTMLElement;
     };
 
     // Polymer properties.
     streams: string[];
     streamLinkUrl: string | undefined;
     mobile: boolean;
     isSplit: boolean;
     metadata: boolean;
-    follow: boolean;
     playing: boolean;
     backfill: boolean;
 
     /** Polymer read-only setter functions. */
     _setStatusBar(v: StatusBarValue|null): void;
+
+    _setShowPlayPause(v: boolean): void;
+    _setShowStreamControls(v: boolean): void;
+    _setShowSplitButton(v: boolean): void;
+    _setShowSplitControls(v: boolean): void;
+
     _setCanSplit(v: boolean): void;
     _setIsSplit(v: boolean): void;
     _setShowStreamingControls(v: boolean): void;
     _setStreamStatus(v: StreamStatusEntry[]): void;
 
     /** Update functions. */
     _updateSplitVisible(v: boolean): void;
     _updateBottomVisible(v: boolean): void;
 
     /** Special Polymer callback to apply child styles. */
@@ skipping 13 matching lines @@
     private onScrollHandler =
         () => {
           this.onScroll();
         }
 
         private scrollTimeoutId: number |
         null = null;
     private model: Model|null = null;
     private renderedLogs = false;
 
+    /**
+     * We start out following by default. Every time we add new logs to the
+     * bottom, we will scroll to them. If users scroll or pause, we will stop
+     * following permanently.
+     */
+    private following = true;
+
     constructor(readonly comp: Component) {}
 
     /** Resets and reloads current viewer state. */
     reset() {
       this.detach();
 
       // Create "onScrollHandler", which just invokes "_onScroll" while bound
       // to "this". We create it here so we can unregister it later, since
       // "bind" returns a modified value.
       window.addEventListener('scroll', this.onScrollHandler);
 
       this.resetScroll();
       this.renderedLogs = false;
 
       // Instantiate our view, and install callbacks.
       let profile =
           ((this.comp.mobile) ? Model.MOBILE_PROFILE : Model.DEFAULT_PROFILE);
       this.model =
           new LogDog.Model(new luci.Client(this.comp.$.client), profile, this);
       this.handleStreamsChanged();
     }
 
     /** Called to detach any resources used by View (Polymer "detach()"). */
     detach() {
       window.removeEventListener('scroll', this.onScrollHandler);
       this.model = null;
     }
 
     /** Called when a mouse wheel event occurs. */
-    handleMouseWheel() {
-      this.comp.follow = false;
+    handleMouseWheel(down: boolean) {
+      // Once someone scrolls, stop following.
+      if (!down) {
+        this.following = false;
+      }
     }
 
     /** Called when the split "Down" button is clicked. */
     handleDownClick() {
       if (this.model) {
         this.model.fetchLocation(Location.HEAD, true);
       }
     }
 
     /** Called when the split "Up" button is clicked. */
@@ skipping 16 matching lines @@
         return;
       }
 
       await this.model.resolve(this.comp.streams);
 
       // If we're not on mobile, start with playing state.
       this.comp.playing = (!this.comp.mobile);
 
       // Perform the initial fetch after resolution.
       if (this.model) {
-        this.model.setAutomatic(this.comp.playing);
+        this.model.automatic = this.comp.playing;
         this.model.setFetchFromTail(!this.comp.backfill);
         this.model.fetch(false);
       }
     }
 
-    /** Called when the "playing" property value changes. */
-    handlePlayingChanged(v: boolean) {
+    stop() {
       if (this.model) {
-        // If we're playing, begin log fetching.
-        this.model.setAutomatic(v);
+        this.model.automatic = false;
+        this.model.clearCurrentOperation();
       }
     }
 
+    /** Called when the "playing" property value changes. */
+    handlePlayPauseChanged(v: boolean) {
+      if (this.model) {
+        // If we're playing, begin log fetching.
+        this.model.automatic = v;
+
+        // Once someone manually uses this control, stop following.
+        //
+        // Only apply this after we've started rendering logs, since before that
+        // this may toggle during setup.
+        if (this.renderedLogs) {
+          this.following = false;
+        }
+
+        if (!v) {
+          this.model.clearCurrentOperation();
+        }
+      }
+    }
+
     /** Called when the "backfill" property value changes. */
     handleBackfillChanged(v: boolean) {
       if (this.model) {
         // If we're backfilling, then we're not tailing.
         this.model.setFetchFromTail(!v);
       }
     }
 
-    /** Called when the "follow" property value changes. */
-    handleFollowChanged(v: boolean) {
-      if (this.model) {
-        if (v) {
-          // If follow is toggled on, automatically begin playing.
-          this.comp.playing = true;
-          this.maybeScrollToFollow();
-        }
-      }
-    }
-
     /** Called when the "split" button is clicked. */
     handleSplitClicked() {
       if (!this.model) {
         return;
       }
 
       // After a split, toggle off playing.
+      this.model.setFetchFromTail(true);
       this.model.split();
-      this.model.setFetchFromTail(true);
       this.comp.playing = false;
     }
 
     /** Called when the "scroll to split" button is clicked. */
     handleScrollToSplitClicked() {
-      this.maybeScrollToElement(this.comp.$.logSplit, true, true);
+      this.maybeScrollToElement(this.comp.$.logSplit, true);
     }
 
     /** Called when a sign-in event is fired from "google-signin-aware". */
     handleSignin() {
       if (this.model) {
         this.model.notifyAuthenticationChanged();
       }
     }
 
+    /** Returns true if our Model is currently automatically loading logs. */
+    private get isPlaying() {
+      return (this.model && this.model.automatic);
+    }
+
     /** Clears asynchornous scroll event status. */
     private resetScroll() {
       if (this.scrollTimeoutId !== null) {
         window.clearTimeout(this.scrollTimeoutId);
         this.scrollTimeoutId = null;
       }
     }
 
     /**
      * Called each time a scroll event is fired. Since this can be really
@@ skipping 116 matching lines @@
         lastLogEntry = logEntryChunk;
       }
 
       // To have styles apply correctly, we need to add it twice, see
       // https://github.com/Polymer/polymer/issues/3100.
       this.comp._polymerAppendChild(logEntryChunk);
 
       // Add the log entry to the appropriate place.
       let anchor: Element|null;
       let scrollToTop = false;
-      let forceScroll = false;
       switch (insertion) {
         case Location.HEAD:
           // PREPEND to "logSplit".
           this.comp.$.logs.insertBefore(logEntryChunk, this.comp.$.logSplit);
 
           // If we're not split, scroll to the log bottom. Otherwise, scroll to
           // the split.
           anchor = lastLogEntry;
+          if (this.following) {
+            this.maybeScrollToElement(anchor, scrollToTop);
+          }
           break;
 
         case Location.TAIL:
           // APPEND to "logSplit".
           anchor = this.comp.$.logSplit;
 
           // Identify the element *after* our insertion point and scroll to it.
           // This provides a semblance of stability as we top-insert.
           //
           // As a special case, if the next element is the log bottom, just
           // scroll to the split, since there is no content to stabilize.
           if (anchor.nextElementSibling !== this.comp.$.logBottom) {
             anchor = anchor.nextElementSibling;
           }
 
           // Insert logs by adding them before the sibling following the log
           // split (append to this.$.logSplit).
           this.comp.$.logs.insertBefore(
               logEntryChunk, this.comp.$.logSplit.nextSibling);
 
           // When tailing, always scroll to the anchor point.
           scrollToTop = true;
-          forceScroll = true;
           break;
 
         case Location.BOTTOM:
           // PREPEND to "logBottom".
           anchor = this.comp.$.logBottom;
           this.comp.$.logs.insertBefore(logEntryChunk, anchor);
+          if (this.following) {
+            this.maybeScrollToElement(anchor, scrollToTop);
+          }
           break;
 
         default:
           anchor = null;
           break;
       }
-
-      if (anchor) {
-        this.maybeScrollToElement(anchor, scrollToTop, forceScroll);
-      }
     }
 
     clearLogEntries() {
       // Remove all current log elements. */
       for (let cur: Element|null = <Element>this.comp.$.logs.firstChild; cur;) {
         let del = cur;
         cur = cur.nextElementSibling;
         if (del.classList && del.classList.contains('log-entry-chunk')) {
           this.comp.$.logs.removeChild(del);
         }
@@ skipping 11 matching lines @@
         case Location.BOTTOM:
           anchor = this.comp.$.logBottom;
           break;
 
         default:
           return false;
       }
       return this.elementInViewport(anchor);
     }
 
+    updateControls(c: Controls) {
+      let canSplit = false;
+      let isSplit = false;
+      if (!c.fullyLoaded) {
+        switch (c.splitState) {
+          case SplitState.CAN_SPLIT:
+            canSplit = true;
+            break;
 
-    updateControls(c: Controls) {
-      this.comp._setCanSplit(c.canSplit);
-      this.comp._setIsSplit(c.split);
-      this.comp._updateSplitVisible(c.split && this.renderedLogs);
-      this.comp._updateBottomVisible(c.bottom && this.renderedLogs);
+          case SplitState.IS_SPLIT:
+            isSplit = true;
+            break;
+
+          default:
+            break;
+        }
+      }
+      this.comp._setShowPlayPause(!c.fullyLoaded);
+      this.comp._setShowStreamControls(c.fullyLoaded || !this.isPlaying);
+      this.comp._setShowSplitButton(canSplit && !this.isPlaying);
+      this.comp._setShowSplitControls(isSplit);
+      this.comp._updateSplitVisible(isSplit);
+
       this.comp.streamLinkUrl = c.logStreamUrl;
 
-      this.comp._setShowStreamingControls(this.renderedLogs && !c.fullyLoaded);
-      if (c.fullyLoaded) {
-        this.comp.playing = false;
-      }
-
       switch (c.loadingState) {
         case LogDog.LoadingState.RESOLVING:
           this.loadStatusBar('Resolving stream names...');
           break;
         case LogDog.LoadingState.LOADING:
           this.loadStatusBar('Loading streams...');
           break;
         case LogDog.LoadingState.LOADING_BEEN_A_WHILE:
           this.loadStatusBar('Loading streams (has the build crashed?)...');
           break;
         case LogDog.LoadingState.RENDERING:
           this.loadStatusBar('Rendering logs.');
           break;
+        case LogDog.LoadingState.PAUSED:
+          this.loadStatusBar('Paused.');
+          break;
         case LogDog.LoadingState.NEEDS_AUTH:
           this.loadStatusBar('Not authenticated. Please log in.');
           break;
         case LogDog.LoadingState.ERROR:
           this.loadStatusBar('Error loading streams (see console).');
           break;
 
         case LogDog.LoadingState.NONE:
         default:
           this.loadStatusBar(null);
           break;
       }
 
       this.comp._setStreamStatus(c.streamStatus);
     }
 
-    /** Scrolls to the follow anchor point. */
-    private maybeScrollToFollow() {
-      // Determine our anchor element.
-      let e: HTMLElement;
-      if (this.comp.isSplit && this.comp.backfill) {
-        // Centering on the split element, at the bottom of the page.
-        e = this.comp.$.logSplit;
-      } else {
-        // Scroll to the bottom of the page.
-        e = this.comp.$.logEnd;
-      }
-
-      this.maybeScrollToElement(e, false, false);
-    }
-
     /**
      * Scrolls to the specified element, centering it at the top or bottom of
      * the view. By default,t his will only happen if "follow" is enabled;
      * however, it can be forced via "force".
      */
-    private maybeScrollToElement(
-        element: Element, topOfView: boolean, force: boolean) {
-      if (this.comp.follow || force) {
-        if (topOfView) {
-          element.scrollIntoView({
-            behavior: 'auto',
-            block: 'end',
-          });
-        } else {
-          // Bug? "block: start" doesn't seem to work the same as false.
-          element.scrollIntoView(false);
-        }
+    private maybeScrollToElement(element: Element, topOfView: boolean) {
+      if (topOfView) {
+        element.scrollIntoView({
+          behavior: 'auto',
+          block: 'end',
+        });
+      } else {
+        // Bug? "block: start" doesn't seem to work the same as false.
+        element.scrollIntoView(false);
       }
     }
 
     /**
      * Loads text content into the status bar.
      *
      * If null is passed, the status bar will be cleared. If text is passed, the
      * status bar will become visible with the supplied content.
      */
     private loadStatusBar(v: string|null) {
@@ skipping 19 matching lines @@
       }
 
       return (
           top < (window.pageYOffset + window.innerHeight) &&
           left < (window.pageXOffset + window.innerWidth) &&
           (top + height) > window.pageYOffset &&
           (left + width) > window.pageXOffset);
     }
   }
 }