SADE Publish uses TextGridObject.toString() [was #22996]
Titles of objects pushed to SADE publisher are in a form like Title (URI)
Are there better methods to use then toString() ?
Thorsten Vitt:
Die »Titel (uri)«-Darstellung kommt vermutlich aus TextGridObject.toString() und
ist dort (z.B. in Fehlermeldungen & Logdateien) eine ganz praktische
Darstellung, da sie eine eindeutige und eine nutzerverständliche Darstellung
vereinigt. Wenn ich mich recht erinnere, funktioniert Drag&Drop ähnlich
Copy&Paste so, dass die Quelle unterschiedliche Repräsentationen (≈ Datentypen)
eines Objekts gleichzeitig zur Verfügung stellen kann & das Ziel wählt dann
daraus eine passende aus, die es versteht. Der Navigator stellt sicher
TextGrid-Objekte direkt zur Verfügung für Controls, die das verstehen, und alle
anderen rufen dann toString() auf …