erp5_web_renderjs_ui: refresh panel more often

bt5/erp5_web_renderjs_ui/PathTemplateItem/web_page_module/rjs_gadget_erp5_panel_js.js

@@ -124,6 +124,8 @@
             jump_list: jump_list,
             global: true,
             jio_key: jio_key,
+            view: view,
+            jump_view: jump_view,
             editable: asBoolean(options.editable) || asBoolean(editable) || false
           });
         });
@@ -240,6 +242,8 @@
 
       if ((this.state.global === true) &&
           (modification_dict.hasOwnProperty("editable") ||
+          modification_dict.hasOwnProperty("view") ||
+          modification_dict.hasOwnProperty("jump_view") ||
           modification_dict.hasOwnProperty("workflow_list") ||
           modification_dict.hasOwnProperty("action_list") ||
           modification_dict.hasOwnProperty("jump_list") ||

bt5/erp5_web_renderjs_ui/PathTemplateItem/web_page_module/rjs_gadget_erp5_panel_js.xml

@@ -234,7 +234,7 @@
                   </item>
                   <item>
                       <key> <string>serial</string> </key>
-                      <value> <string>986.44167.44817.34355</string> </value>
+                      <value> <string>986.45400.41413.45892</string> </value>
                   </item>
                   <item>
                       <key> <string>state</string> </key>
@@ -252,7 +252,7 @@
                           </tuple>
                           <state>
                             <tuple>
-                              <float>1600355451.8</float>
+                              <float>1600429015.37</float>
                               <string>UTC</string>
                             </tuple>
                           </state>