On Sun, Mar 4, 2018 at 3:29 PM, Pierre-Yves <kyrios@skynet.be> wrote:
Hello,
We are outphasing wxWidgets GTK2 build and we have been reported that the tabs in pgadmin3 (which remains very popular) aren't themed properly when wxGTK3 is used.
See below screenshot; unstable is the wxGTK3 build.