File tree Expand file tree Collapse file tree
extensions/widgets/browser Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ # Added page reload note to browser URL docs
Original file line number Diff line number Diff line change @@ -259,6 +259,11 @@ The <URL> is the URL of the content be displayed in the browser.
259259> browser, and will change when navigating to another page. Setting the
260260> htmlText will result in the <URL> being empty.
261261
262+ >*Note:* Setting the <URL> won't necessarily cause resources to be
263+ > reloaded unless URLs of the resources explicitly change. However,
264+ > you can force the browser widget to reload a page using
265+ > `do "location.reload()" in widget "browser"` after setting the url.
266+
262267>*Note:* Setting the <URL> to empty will clear the currently loaded
263268> page, resulting in a blank page being displayed and the <URL> and
264269> <htmlText> of the widget being empty.
You can’t perform that action at this time.
0 commit comments