|
From: | Yuan Fu |
Subject: | Re: How is text properties stored? |
Date: | Thu, 9 May 2019 21:50:29 -0400 |
They're not updated at that moment. They'll be updated when you "move" I guess “move” means more than moving the point? What happens if we need to copy or display some text with outdated intervals on that range? Sincerely, Yuan
|
[Prev in Thread] | Current Thread | [Next in Thread] |