From d45a233e50e7b32b5257957c6878fe5f09c0d74f Mon Sep 17 00:00:00 2001 From: Jon Trulson Date: Sat, 18 Feb 2023 15:16:14 -0700 Subject: [PATCH] pgadmin.dt: set icon from pgadmin to pgadmin3 --- cde/programs/types/pgadmin.dt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cde/programs/types/pgadmin.dt b/cde/programs/types/pgadmin.dt index ba37a38dc..cf9303675 100644 --- a/cde/programs/types/pgadmin.dt +++ b/cde/programs/types/pgadmin.dt @@ -27,7 +27,7 @@ ACTION pgadmin LABEL pgadmin TYPE COMMAND EXEC_STRING pgadmin %Arg_1% - ICON pgadmin + ICON pgadmin3 WINDOW_TYPE NO_STDIO }