just tested again with latest git version, same problem
reproduce steps:
1. open query tool
2. select something
3. try to copy results from result grid using ctrl+c or main menu
for me step 3 does nothing. watch attachment
may be this is a problem of wxWidgets, I don't know, but before
267c594ae6663becb29de3955f94d37d7705fcfb commit everything was fine.
my system
fedora 14:
wxGTK-2.8.11-3.fc14.x86_64
2011/1/28 Guillaume Lelarge <guillaume@lelarge.info>:
> Le 21/01/2011 15:41, Timon a écrit :
>> seem that this commit broke ability to copy whole query result from
>> result grid in query tool.
>>
>
> Sorry for not answering sooner. I just tried and it seems to work right
> to me. I don't see any issue with copy and paste in the query tool.
>
>
> --
> Guillaume
> http://www.postgresql.fr
> http://dalibo.com
>
--
All bugs reserved