github-starred/pgadmin3
2
0
Fork 0
mirror of https://github.com/levinsv/pgadmin3.git synced 2026-05-15 14:15:49 -06:00
Code Issues 6 Projects Packages Wiki Activity Actions

Add support DPI part 2

Browse source 
Добавлены svg файлы иконок. и другие улучшения.
This commit is contained in:
lsv 2023-06-27 15:17:27 +05:00
parent d4602778f3
commit 2a4b4dc878
4 changed files with 27 additions and 22 deletions
Download patch file Download diff file Expand all files Collapse all files

2
pgAdmin3.cpp
View file

@ -850,7 +850,7 @@ int pgAdmin3::OnExit()
// Delete the settings object to ensure settings are saved.
delete settings;
settings = NULL;
#ifdef __WXMSW__
WSACleanup();
#endif