pgadmin.dt: set icon from pgadmin to pgadmin3

2023-02-18 15:16:14 -07:00 · 2023-02-18 15:16:14 -07:00 · d45a233e50
parent e76cd50d3c
commit d45a233e50
1 changed files with 1 additions and 1 deletions
--- 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
 }