Re: [dev] Lag in when changing view to a OpenGL window

2015-12-05 Thread Étienne Faure
Hi, On 4 December 2015 at 20:09, ACE wrote: > On 12/04, Anders Straadt wrote: >> `ps aux | grep -Ei '(comp|unagi)'` and `systemctl | grep -Ei >> '(comp|unagi)'` shows nothing of interest if that's what you mean? > > You could try running one of them to see if they solve your problem. I > don't kn

Re: [dev] Lag in when changing view to a OpenGL window

2015-12-06 Thread Étienne Faure
On 5 December 2015 at 20:01, FRIGN wrote: > On Sat, 5 Dec 2015 14:02:52 +0100 > Étienne Faure wrote: > >> It works pretty well and has the bonus of avoiding tearing in Youtube. >> Your millage may vary for games, depending on your video card. > > No idea what you ev

Re: [dev] [surf] downloads

2011-11-05 Thread Étienne Faure
Hello, I've had a small issue downloading scripts from www.vim.org: The URI ends with a php file and a variable argument. With the current wget setup, the script name isn't deduced from the header. Thus, the downloaded file's name is something like: download_script.php?src_id=1234 I managed to

Re: [dev] [surf] downloads

2011-11-05 Thread Étienne Faure
On Sat, Nov 5, 2011 at 13:16, wrote: > * Troels Henriksen [2011-11-05 12:51]: >> There is a fix for this that involves using the >> webkit_download_get_suggested_filename function and passing it to wget's >> -O option, but I can't figure out how to prevent clobbering of an > > that might work? >

Re: [dev] [surf] downloads

2011-11-05 Thread Étienne Faure
On Sat, Nov 5, 2011 at 14:40, wrote: > * Étienne Faure [2011-11-05 14:29]: >> I'm afraid not. I tested it quickly for the same vim.org issue: >> >> webkit_download_get_suggested_filename(o) >>     returned "download_script.php" instead of, in this c

Re: [dev] [surf] downloads

2011-11-05 Thread Étienne Faure
On Sat, Nov 5, 2011 at 15:08, wrote: > * Étienne Faure [2011-11-05 14:59]: >> On Sat, Nov 5, 2011 at 14:40,   wrote: >> > >> > I'm afraid, then curl won't do either. >> >> As a matter of fact, it does: >> > > great. then us