summaryrefslogtreecommitdiff
path: root/lib/js
diff options
context:
space:
mode:
authorGravatar Denis Redozubov <denis.redozubov@gmail.com>2018-08-22 15:11:32 +0300
committerGravatar Denis Redozubov <denis.redozubov@gmail.com>2018-08-22 15:14:21 +0300
commiteb86dffeeec897d17905f3adff84e6acfd018330 (patch)
tree91e346a00ab96ec247af14529fc1d26c9c3a4ae0 /lib/js
parent0e41b2ab9485f46c4303be46d41e39203eeb7138 (diff)
Rough same page anchors
Diffstat (limited to 'lib/js')
-rw-r--r--lib/js/urweb.js4
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index ff4c7b7e..cd1b7005 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -2278,5 +2278,9 @@ function giveFocus(id) {
er("Tried to give focus to ID not used in document: " + id);
}
+function anchorUrl(id) {
+ return "#" + id;
+}
+
// App-specific code