Skip site navigation (1) Skip section navigation (2)

Re: [pgadmin-support] Copy & paste - git

From: Guillaume Lelarge <guillaume(at)lelarge(dot)info>
To: Timon <timosha(at)gmail(dot)com>
Cc: Claudio Freire <klaussfreire(at)gmail(dot)com>, pgadmin-hackers <pgadmin-hackers(at)postgresql(dot)org>, pgadmin-support(at)postgresql(dot)org
Subject: Re: [pgadmin-support] Copy & paste - git
Date: 2011-03-15 21:50:21
Message-ID: 4D7FDF1D.3090205@lelarge.info (view raw or flat)
Thread:
Lists: pgadmin-hackerspgadmin-support
Le 15/03/2011 10:28, Guillaume Lelarge a écrit :
> Le 15/03/2011 07:52, Timon a écrit :
>> it was already discussed. I have same bug, but Guillaume Lelarge
>> <guillaume(at)lelarge(dot)info> unable to reproduce it.
>> Using git bisect I found commit which broke this feature. This is
>> http://git.postgresql.org/gitweb?p=pgadmin3.git;a=commitdiff;h=c4a350002d8e7bdb77bf5d8eb1c5eb4efade6aff
>>
>> 2011/3/15 Claudio Freire <klaussfreire(at)gmail(dot)com>:
>>> Hey, I just did a git pull and built from source (on debian squeeze),
>>> and I cannot copy & paste from the SQL results panel.
>>>
>>> Copy & paste there is pretty useful ;-)
>>>
>>> Any chance to get it back?
>>>
> 
> Could you try this patch?
> 

Timon tried it and it didn't work out. But he continued to work on it
and finally sent me a patch that fixes the issue.

So, big thank to him :)

Patch will be commited in a few minutes.


-- 
Guillaume
 http://www.postgresql.fr
 http://dalibo.com

In response to

pgadmin-hackers by date

Next:From: Guillaume LelargeDate: 2011-03-15 21:52:32
Subject: pgAdmin III commit: Fix copy/paste issue on the query tool
Previous:From: Guillaume LelargeDate: 2011-03-15 21:49:16
Subject: Re: [pgadmin-support] Copy & paste - git

pgadmin-support by date

Next:From: Guillaume LelargeDate: 2011-03-17 23:05:04
Subject: Re: Usability improvment ideas
Previous:From: Guillaume LelargeDate: 2011-03-15 21:49:16
Subject: Re: [pgadmin-support] Copy & paste - git

Privacy Policy | About PostgreSQL
Copyright © 1996-2014 The PostgreSQL Global Development Group