view .hgtags @ 347:bf9474e164f3

core (RootWidget): a red "plug" symbol is now shown when profile is not connected.
author Goffi <goffi@goffi.org>
date Sat, 04 Jan 2020 16:24:57 +0100
parents f3d75d18a473
children d98e2383df58
line wrap: on
line source

f95d0c31d45558c7b3e2fc39398f51eb0190bdca 0.7.0a1
4233be74572a1af8eebd502c009a10641c63ca0c 0.7.0a3
5c28cf8815319abd8c963022091cf4726764a3e6 0.7.0b1
51f73d210da908c9fb292e6bd7fda42a9d2b8453 0.7.0