eufon

commit fb6423dab436ef0d1abee1d0cd0b9ee632ce1e9a
parent dd109f4a4b4e4fae68864914fa59d9140b214fe1
Author: Daniel Barlow <dan@telent.net>
Date:   Sat,  5 Feb 2022 22:24:21 +0000

add a stop/refresh button

Diffstat:
M
just/README.md
 | 
2
--
M
just/just.fnl
 | 
17
+++++++++++++++++

2 files changed, 17 insertions(+), 2 deletions(-)
diff --git a/just/README.md b/just/README.md
@@ -5,8 +5,6 @@ Touchscreen-friendly wrapper around Webkit
 ## TO DO
 
 - downloads (pass to download manager)
-- cancel/stop button
-- refresh button
 - progress indicator
 - support multiple tabs
 - find out if it's going to eat cpu like luakit does
diff --git a/just/just.fnl b/just/just.fnl
@@ -61,15 +61,31 @@
                               (r.webview:load_uri self.text))
                             })
             (: :set_text current-url))
+      stop-refresh (Gtk.Button {
+                                :on_clicked
+                                (fn [s]
+                                  (if r.webview.is_loading
+                                      (r.webview:stop_loading)
+                                      (r.webview:reload)))
+                                })
       webview (WebKit2.WebView {
                                 :on_notify
                                 (fn [self pspec c]
                                   (if (= pspec.name "uri")
                                       (url:set_text self.uri)
+
                                       (and (= pspec.name "title")
                                            (> (# self.title) 0))
                                       (window:set_title
                                        (.. self.title " - Just browsing"))
+
+                                      (= pspec.name "is-loading")
+                                      (stop-refresh:set_image
+                                       (named-image
+                                        (if self.is_loading
+                                            "process-stop"
+                                            "view-refresh")))
+
                                       ))
                                 })
       back (doto
@@ -84,6 +100,7 @@
 
   (nav-bar:pack_start back false false 2)
   (nav-bar:pack_start url  true true 2)
+  (nav-bar:pack_end stop-refresh false false 2)
 
   (container:pack_start nav-bar false false 5)
   (container:pack_start webview true true 5)