view .hgtags @ 249:5d69e4cab925

core: when switching to a new widget, it becomes the selected one.
author Goffi <goffi@goffi.org>
date Sat, 26 Jan 2019 20:24:48 +0100
parents 47d466ae6096
children d29be7e348ca
line wrap: on
line source

f95d0c31d45558c7b3e2fc39398f51eb0190bdca 0.7.0a1