Fix log live updating and add autoscrolling

maubot/management/frontend/src/pages/dashboard/Log.js

@@ -113,13 +113,57 @@ class LogEntry extends PureComponent {
 }
 
 class Log extends PureComponent {
+    constructor(props) {
+        super(props)
+
+        this.linesRef = React.createRef()
+        this.linesBottomRef = React.createRef()
+    }
+
+    getSnapshotBeforeUpdate() {
+        if (this.linesRef.current && this.linesBottomRef.current) {
+            return Log.isVisible(this.linesRef.current, this.linesBottomRef.current)
+        }
+        return false
+    }
+
+
+    componentDidUpdate(_1, _2, wasVisible) {
+        if (wasVisible) {
+            Log.scrollParentToChild(this.linesRef.current, this.linesBottomRef.current)
+        }
+    }
+
+    componentDidMount() {
+        if (this.linesRef.current && this.linesBottomRef.current) {
+            Log.scrollParentToChild(this.linesRef.current, this.linesBottomRef.current)
+        }
+    }
+
+    static scrollParentToChild(parent, child) {
+        const parentRect = parent.getBoundingClientRect()
+        const childRect = child.getBoundingClientRect()
+
+        if (!Log.isVisible(parent, child)) {
+            parent.scrollBy({ top: (childRect.top + parent.scrollTop) - parentRect.top })
+        }
+    }
+
+    static isVisible(parent, child) {
+        const parentRect = parent.getBoundingClientRect()
+        const childRect = child.getBoundingClientRect()
+        return (childRect.top >= parentRect.top)
+            && (childRect.top <= parentRect.top + parent.clientHeight)
+    }
+
     render() {
         return (
-            <div className="log">
+            <div className="log" ref={this.linesRef}>
                 <div className="lines">
                     {this.props.lines.map(data => <LogEntry key={data.id} line={data}
                                                             focus={this.props.focus}/>)}
                 </div>
+                <div ref={this.linesBottomRef}/>
             </div>
         )
     }

maubot/management/frontend/src/pages/dashboard/Modal.js

@@ -30,6 +30,7 @@ class Modal extends Component {
 
     open = () => this.setState({ open: true })
     close = () => this.setState({ open: false })
+    isOpen = () => this.state.open
 
     render() {
         return this.state.open && (

maubot/management/frontend/src/pages/dashboard/index.js

@@ -34,11 +34,11 @@ class Dashboard extends Component {
             sidebarOpen: false,
             modalOpen: false,
             logFocus: null,
+            logLines: [],
         }
-        this.logLines = []
-        this.logMap = {}
         this.logModal = {
             open: () => undefined,
+            isOpen: () => false,
         }
         window.maubot = this
     }
@@ -80,20 +80,21 @@ class Dashboard extends Component {
             } else if (entry.name.startsWith("instance.")) {
                 entry.nameLink = `/instance/${entry.name.substr("instance.".length)}`
             }
-            (this.logMap[entry.name] || (this.logMap[entry.name] = [])).push(entry)
         }
 
         logs.onHistory = history => {
             for (const data of history) {
                 processEntry(data)
             }
-            this.logLines = history
+            this.setState({
-            this.setState({ logFocus: this.state.logFocus })
+                logLines: history,
+            })
         }
         logs.onLog = data => {
             processEntry(data)
-            this.logLines.push(data)
+            this.setState({
-            this.setState({ logFocus: this.state.logFocus })
+                logLines: this.state.logLines.concat(data),
+            })
         }
     }
 
@@ -209,7 +210,7 @@ class Dashboard extends Component {
 
     renderModal() {
         return <Modal ref={ref => this.logModal = ref}>
-            <Log lines={this.logLines} focus={this.state.logFocus}/>
+            <Log lines={this.state.logLines} focus={this.state.logFocus}/>
         </Modal>
     }