WUI: change the label of the button to unlink a file from 'del' to 'unlink'. Also...
authordavid-sarah <david-sarah@jacaranda.org>
Wed, 13 Jul 2011 00:12:18 +0000 (17:12 -0700)
committerdavid-sarah <david-sarah@jacaranda.org>
Wed, 13 Jul 2011 00:12:18 +0000 (17:12 -0700)
commit07ecac1d834ffd14c410c1277607baf3386ab385
treec177989ff8ffa33e20b9d556dd8f593668320dc8
parent23b3a2f45ad3df53ef6de271ae3053629ea732a4
WUI: change the label of the button to unlink a file from 'del' to 'unlink'. Also change some internal names to 'unlink', and allow 't=unlink' as a synonym for 't=delete' in the web-API interface. Incidentally, improve a test to check for the rename button as well as the unlink button. fixes #1104
docs/frontends/webapi.rst
src/allmydata/test/test_web.py
src/allmydata/web/directory.py
src/allmydata/web/directory.xhtml