diff options
| author | Laurent Charignon <l.charignon@gmail.com> | 2016-01-31 18:30:40 -0800 |
|---|---|---|
| committer | Laurent Charignon <l.charignon@gmail.com> | 2016-01-31 19:00:33 -0800 |
| commit | cb137db7fc8a1bf3d0efd31493d0a781c35b7931 (patch) | |
| tree | fd116bc303668c14602ed80cc8d7c5becec42ac0 /doc/tools/convert_papermode_to_metadata.py | |
| parent | 54e39a0da914d9253c74e480cc4b785d12aad014 (diff) | |
| download | ranger-cb137db7fc8a1bf3d0efd31493d0a781c35b7931.tar.gz | |
bookmark: replace delete by __delitem__ for consistency with other methods
We are already using the python magic methods __setitem__, __getitem__, __contains__ and __iter__. It makes sense to use __delitem__ and not have a custom method name for removing bookmarks. We change the only place where this method is called in the code.
Diffstat (limited to 'doc/tools/convert_papermode_to_metadata.py')
0 files changed, 0 insertions, 0 deletions