Hide placeholder when dropping a tag onto tagedit field (#3459)
Description
Description
Details
Details
- Provenance
Thomas Bruederli Authored on Aug 25 2014, 4:29 PM mollekopf Pushed on Aug 22 2023, 5:55 AM - Parents
- R14:032e0f48c1cb: Avoid noteslist.clear_selection() to trigger warning dialog again; destroy…
- Branches
- Unknown
- Tags