Bug#611771: praat: Tab shortcut to play in the sound editor window does not work.

2011-03-03 Thread Paul Boersma
dear Andreas, the bug you reported has been solved (or circumvented, really). If you want to be really sure that a certain version of Praat will really make it into Debian just drop me a note about this. yes, please include Praat version 5.2.17 into Debian. What you can really do for our

Bug#611771: praat: Tab shortcut to play in the sound editor window does not work.

2011-03-03 Thread Andreas Tille
Dear Paul, On Thu, Mar 03, 2011 at 02:39:21PM +0100, Paul Boersma wrote: dear Andreas, the bug you reported has been solved (or circumvented, really). If you want to be really sure that a certain version of Praat will really make it into Debian just drop me a note about this. yes,

Bug#611771: praat: Tab shortcut to play in the sound editor window does not work.

2011-02-02 Thread Andreas Tille
Hi, I would like to foreward this bug of a praat user of the Debian packaged version of praat to you as the authors. I admit I do not have the slightest idea how to use praat myself - I was just picking up the orphaned packaging for Debian and try to get the package compiled as smoothly as

Bug#611771: praat: Tab shortcut to play in the sound editor window does not work.

2011-02-02 Thread Andreas Tille
Hi Paul, thanks for your quick response. On Wed, Feb 02, 2011 at 06:26:30AM -0500, Paul Boersma wrote: dear Andreas, it is great that the new GTK edition will appear on Debian, because the version that is included in Ubuntu is still an old one linked with Lesstif. I admit I do not have

Bug#611771: praat: Tab shortcut to play in the sound editor window does not work.

2011-02-01 Thread Jeremy Salwen
Package: praat Version: 5.2.11-1 Severity: normal If I click View-Play or Stop, it works correctly, and lists the shortcut Tab to do so. However, when I press the tab key, it does not play, nor do anything else. This is just a problem with praat. My tab key works correctly with all other