wip: server history support

2020-07-16 02:25:40 -04:00
parent 875d4f1fc0
commit 9d8f6a3167
2 changed files with 23 additions and 6 deletions
--- a/app/assets/templates/directives/history-menu.pug
+++ b/app/assets/templates/directives/history-menu.pug
@@ -43,7 +43,9 @@
    div(ng-if='ctrl.showServerOptions')
      menu-row(
        action='ctrl.fetchServerHistory()' 
-        label="'Refresh'")
+        label="'Refresh'"
+        disabled="ctrl.isFetchingServerHistory"
+        spinner-class="ctrl.isFetchingServerHistory ? 'info' : null")
        .sk-sublabel
          | Fetch history from server.
    menu-row(