Hi,
for personal use I've made some modifications to pgadmin. Two thnings that are very frustrating when you need to copy results to spreadsheets.
1. Decimal mark
Added an option to change default decimal mark to something other.
2. Result grid: Copy column names
Added option to include column names when copying results through clipboard
It should work with all possible selections (entire row, selective columns,...)
If you think that this changes are useful feel free to commit them.
Best regards,
Jasmin
