comparison .hgtags @ 360:a77386b73e55

core: change selected_widget when root screen widget is changed
author Goffi <goffi@goffi.org>
date Sat, 18 Jan 2020 23:12:52 +0100
parents f3d75d18a473
children d98e2383df58
comparison
equal deleted inserted replaced
359:38d763febed6 360:a77386b73e55