info
Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
"text tag delete tagName" does not delete the selection?!
18 views
Skip to first unread message
MartinLemburg@Siemens-PLM
Jul 1, 2016, 8:40:23 AM7/1/16
to
Hi,
I tried to delete the selection in a text widget this way:
$w tag delete sel
Sincerely, the selection is still present and not be deleted.
Now I have to go this way:
$w tag remove sel {*}[$w tag ranges sel]
Is this intention or a bug?
Cheers,
Martin
I tried to delete the selection in a text widget this way:
$w tag delete sel
Sincerely, the selection is still present and not be deleted.
Now I have to go this way:
$w tag remove sel {*}[$w tag ranges sel]
Is this intention or a bug?
Cheers,
Martin
Rich
Jul 1, 2016, 8:58:06 AM7/1/16
to
man n text
THE SELECTION
...
The sel tag is automatically defined when a text widget is
created, and it may not be deleted with the "pathName tag
delete" widget command.
MartinLemburg@Siemens-PLM
Jul 1, 2016, 9:21:50 AM7/1/16
to
Am Freitag, 1. Juli 2016 14:58:06 UTC+2 schrieb Rich:
Reading is a very special art (of war)!
Thanks for pointing this out, Rich!
Thanks for pointing this out, Rich!
0 new messages