change highlight timing
This commit is contained in:
parent
0149aa2f84
commit
031fbe326c
1 changed files with 2 additions and 3 deletions
|
|
@ -100,11 +100,10 @@ final class const RoomChat({
|
||||||
Future<void> jumpToId(String eventId) async {
|
Future<void> jumpToId(String eventId) async {
|
||||||
highlightedEvent.value = eventId;
|
highlightedEvent.value = eventId;
|
||||||
|
|
||||||
final jump = scroll.jumpToId(eventId);
|
await scroll.jumpToId(eventId);
|
||||||
await Future.delayed(.new(seconds: 1), () {
|
await Future.delayed(.new(milliseconds: 700), () {
|
||||||
if (highlightedEvent.value == eventId) highlightedEvent.value = null;
|
if (highlightedEvent.value == eventId) highlightedEvent.value = null;
|
||||||
});
|
});
|
||||||
await jump;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
IList<PopupMenuEntry> getEventOptions(Event event) =>
|
IList<PopupMenuEntry> getEventOptions(Event event) =>
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue