Re: [racket-dev] slideshow not hiding KDE panel

2010-10-01 Thread Matthew Flatt 
At Thu, 30 Sep 2010 22:03:12 -0700, Sam Tobin-Hochstadt wrote:
 This happens for me always in slideshow on my laptop in both GR1 and
 GR2.  I'm running Ubuntu 10.04, screen resolution 1440x1050, with
 panels on the top and bottom of the screen (as is usual for Gnome).  I
 can provide any other data as desired.

I don't know what's different on my machine.

In any case, I decided to try the obvious change to GRacket2, even if I
can't really try it, and Robby reports that the change works on his
machine (i.e., GRacket2 Slideshow uses the whole screen).


So, Faré, you could try

  http://github.com/mflatt/gr2

and see whether Slideshow on top of the new `racket/gui' uses the full
screen and works well enough for your slides. Send me a bug report if
it doesn't.

_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev

[racket-dev] Getting git instructions

2010-10-01 Thread Neil Toronto 
The Ubuntu instructions should have a sudo apt-get update after adding 
the ppa repository.


Neil T

_
 For list-related administrative tasks:
 http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] Getting git instructions

2010-10-01 Thread Eli Barzilay 
20 minutes ago, Neil Toronto wrote:
 The Ubuntu instructions should have a sudo apt-get update after
 adding the ppa repository.

Is this about the git instructions at git.racket-lang.org, and if so,
do you mean that it should be:

  sudo add-apt-repository ppa:git-core/ppa
  sudo apt-get update
  sudo apt-get install git-core

?

-- 
  ((lambda (x) (x x)) (lambda (x) (x x)))  Eli Barzilay:
http://barzilay.org/   Maze is Life!
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] Getting git instructions

2010-10-01 Thread Neil Toronto 

Eli Barzilay wrote:

20 minutes ago, Neil Toronto wrote:

The Ubuntu instructions should have a sudo apt-get update after
adding the ppa repository.


Is this about the git instructions at git.racket-lang.org, and if so,
do you mean that it should be:

  sudo add-apt-repository ppa:git-core/ppa
  sudo apt-get update
  sudo apt-get install git-core


Yes, and yes. Ubuntu will install the non-ppa git-core until its package 
indexes are updated.


Thanks!
Neil T
_
 For list-related administrative tasks:
 http://lists.racket-lang.org/listinfo/dev

[racket-dev] Release for v5.0.2 is about to begin

2010-10-01 Thread Ryan Culpepper 
The release process for v5.0.2 will begin in about two weeks.  If
you have any new features that you want in and are relatively close to
being done, now is a good time to do that.

--
Ryan Culpepper
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev