fix: git clone every time when refreshing the page

Resolved #787 #333
This commit is contained in:
Tienson Qin
2020-12-05 17:22:02 +08:00
parent 37f0f11a34
commit c1b70ae12a
8 changed files with 20 additions and 17 deletions

View File

@@ -909,7 +909,7 @@
(when repo
(when-let [last-time (get-in @state [:db/last-transact-time repo])]
(let [now (util/time-ms)]
(>= (- now last-time) 5000)))))
(>= (- now last-time) 3000)))))
(defn input-idle?
[repo]
@@ -917,7 +917,7 @@
(or
(when-let [last-time (get-in @state [:editor/last-input-time repo])]
(let [now (util/time-ms)]
(>= (- now last-time) 5000)))
(>= (- now last-time) 3000)))
;; not in editing mode
(not (get-edit-input-id)))))