8bf42fa69e
* Check if element exists * Add delete function * Add support for deleting via popup menu * Update how count visibility is updated * Update dictionary deletion progress updates * Update storage stats after dictionary deletion |
||
---|---|---|
.. | ||
bg | ||
fg | ||
mixed | ||
manifest.json |