[11.0][ADD] web_refresh

web_refresher/static/src/js/refresher.js

@@ -0,0 +1,25 @@
+// initial pager is located in source/addons/web/static/src/js/chrome/pager.js
+
+odoo.define('refresher.pager', function(require) {
+    'use strict';
+
+    var pager = require('web.Pager');
+    pager.include({
+        start: function() {
+            var self = this;
+            var res = self._super();
+
+            var $button = $('<span>', {
+                class: "fa fa-refresh btn btn-icon o_pager_refresh",
+                css: {"margin-right": "8px"},
+                "aria-label": "Refresh"
+            });
+            $button.on('click', function(){
+                self._changeSelection(0);
+            });
+
+            self.$el.prepend($button);
+            return res;
+        }
+    });
+});