diff options
author | 2019-04-20 23:49:12 +0200 | |
---|---|---|
committer | 2019-04-20 23:49:12 +0200 | |
commit | 0e373cd953dd7ee8433cd936a8df050ab097bb08 (patch) | |
tree | 54061f3d1f33247f0a57efc311167ba275c67c94 /pydis_site/static/js/wiki/move.js | |
parent | Merge pull request #213 from python-discord/django_front_page (diff) | |
parent | Replace wiki dep with PyDis fork, add git to Docker (diff) |
Merge pull request #202 from gdude2002/django+200/wiki
[#200] Django Wiki
Diffstat (limited to 'pydis_site/static/js/wiki/move.js')
-rw-r--r-- | pydis_site/static/js/wiki/move.js | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/pydis_site/static/js/wiki/move.js b/pydis_site/static/js/wiki/move.js new file mode 100644 index 00000000..ddab06f5 --- /dev/null +++ b/pydis_site/static/js/wiki/move.js @@ -0,0 +1,8 @@ +$('#id_destination').after($('#dest_selector').remove()); +$('#id_destination').attr('type', 'hidden'); + +function select_path(path, title) { + $('#id_destination').val(path); + if (title == "(root)") title = ""; + $('#dest_selector .dest_selector_title').html(title ? title : " / "); +} |