diff .p4a_whitelist @ 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 55e194055aa5
children
line wrap: on
line diff