Re: Raar probleem met Gnome in Jessie

2015-02-02 Berichten over hetzelfde onderwerp Paul van der Vlis
Op 02-02-15 om 22:39 schreef Geert Stappers: Contro: tags -1 + patch On Mon, Feb 02, 2015 at 09:41:00PM +0100, Frans Spiesschaert wrote: Ik heb het probleem voorgelegd aan de debian ontwikkelaars van Gnome (https://lists.debian.org/debian-gtk-gnome/2015/02/msg0.html) en het antwoord

Re: Raar probleem met Gnome in Jessie

2015-02-02 Berichten over hetzelfde onderwerp Geert Stappers
Contro: tags -1 + patch On Mon, Feb 02, 2015 at 09:41:00PM +0100, Frans Spiesschaert wrote: Ik heb het probleem voorgelegd aan de debian ontwikkelaars van Gnome (https://lists.debian.org/debian-gtk-gnome/2015/02/msg0.html) en het antwoord is dat ze het probleem ernstig genoeg vinden en

Re: Raar probleem met Gnome in Jessie

2015-02-02 Berichten over hetzelfde onderwerp Jan-Rens Reitsma
On 02/02/2015 11:44 AM, Paul van der Vlis wrote: Op 02-02-15 om 11:28 schreef Jan-Rens Reitsma: Volgens mij verwijst https://packages.debian.org/jessie/gnome-menus naar: http://standards.freedesktop.org/menu-spec/menu-spec-1.0.html en dat is volgens mij een generieke spec en geen specifieke

Re: Raar probleem met Gnome in Jessie

2015-02-02 Berichten over hetzelfde onderwerp Paul van der Vlis
Op 02-02-15 om 13:16 schreef Jan-Rens Reitsma: On 02/02/2015 11:44 AM, Paul van der Vlis wrote: Op 02-02-15 om 11:28 schreef Jan-Rens Reitsma: Volgens mij verwijst https://packages.debian.org/jessie/gnome-menus naar: http://standards.freedesktop.org/menu-spec/menu-spec-1.0.html en dat is

Re: Raar probleem met Gnome in Jessie

2015-02-02 Berichten over hetzelfde onderwerp Jan-Rens Reitsma
On 02/01/2015 04:43 PM, Frans Spiesschaert wrote: Dag Paul, Frans Spiesschaert schreef op vr 30-01-2015 om 00:21 [+0100]: Dag Paul, Paul van der Vlis schreef: Het lijkt me nu dat het probleem in het pakket gnome-menus zit: https://packages.debian.org/jessie/gnome-menus Ik heb het

Re: Raar probleem met Gnome in Jessie

2015-02-02 Berichten over hetzelfde onderwerp Jan-Rens Reitsma
On 02/02/2015 02:08 PM, Paul van der Vlis wrote: Op 02-02-15 om 13:16 schreef Jan-Rens Reitsma: knip source links De screenshots op: https://screenshots.debian.net/package/gnome-menus zijn van: $ alacarte maar dat staat er niet bij. Dat is inderdaad niet correct. Daardoor was ik vanaf

Re: Raar probleem met Gnome in Jessie

2015-02-02 Berichten over hetzelfde onderwerp Paul van der Vlis
Op 02-02-15 om 16:10 schreef Jan-Rens Reitsma: On 02/02/2015 02:08 PM, Paul van der Vlis wrote: Op 02-02-15 om 13:16 schreef Jan-Rens Reitsma: knip source links De screenshots op: https://screenshots.debian.net/package/gnome-menus zijn van: $ alacarte maar dat staat er niet bij. Dat

Re: Re: Raar probleem met Gnome in Jessie

2015-02-01 Berichten over hetzelfde onderwerp Frans Spiesschaert
Dag Paul, Frans Spiesschaert schreef op vr 30-01-2015 om 00:21 [+0100]: Dag Paul, Paul van der Vlis schreef: Het lijkt me nu dat het probleem in het pakket gnome-menus zit: https://packages.debian.org/jessie/gnome-menus Ik heb het source-pakket van gnome-menus eens bekeken, maar

Re: Raar probleem met Gnome in Jessie

2015-02-01 Berichten over hetzelfde onderwerp Paul van der Vlis
Hoi Frans en anderen, Op 01-02-15 om 16:43 schreef Frans Spiesschaert: Ik ben hier wat kort door de bocht gegaan, door in de broncode enkel naar het debian-specifieke deel te kijken. De fout blijkt wel degelijk te zitten in gnome-menus, maar dan wel in de upstream tarball. De laatste

Re: Raar probleem met Gnome in Jessie

2015-01-29 Berichten over hetzelfde onderwerp Paul van der Vlis
Op 29-01-15 om 15:58 schreef Thijs Kinkhorst: Ik vrees dat dat te laat is. De deadline voor vertalingsupdates is inmiddels gepasseerd en alhoewel inderdaad wat onhandig, is het geen release critical bug. Het release team kan uitzonderingen maken, en anders zou de fout in versie 8.1 verholpen

Re: Raar probleem met Gnome in Jessie

2015-01-29 Berichten over hetzelfde onderwerp Thijs Kinkhorst
On Wed, January 28, 2015 23:35, Paul van der Vlis wrote: Op 28-01-15 om 12:08 schreef Paul van der Vlis: Op 28-01-15 om 10:02 schreef Geert Stappers: On Tue, Jan 27, 2015 at 02:46:43PM +0100, Paul van der Vlis wrote: Hoi, Ik zie iets raars in Jessie in Gnome Classic. In het menu-item

Re: Raar probleem met Gnome in Jessie

2015-01-28 Berichten over hetzelfde onderwerp Geert Stappers
On Tue, Jan 27, 2015 at 02:46:43PM +0100, Paul van der Vlis wrote: Hoi, Ik zie iets raars in Jessie in Gnome Classic. In het menu-item Toepassingen zie ik twee keer het item Hulpmiddelen. Beide hebben een inhoud, deze is echter niet hetzelfde. Dit zou een fout in de vertaling kunnen

Re: Raar probleem met Gnome in Jessie

2015-01-28 Berichten over hetzelfde onderwerp Paul van der Vlis
Op 28-01-15 om 10:02 schreef Geert Stappers: On Tue, Jan 27, 2015 at 02:46:43PM +0100, Paul van der Vlis wrote: Hoi, Ik zie iets raars in Jessie in Gnome Classic. In het menu-item Toepassingen zie ik twee keer het item Hulpmiddelen. Beide hebben een inhoud, deze is echter niet hetzelfde.

Re: Raar probleem met Gnome in Jessie

2015-01-28 Berichten over hetzelfde onderwerp Paul van der Vlis
Op 28-01-15 om 12:08 schreef Paul van der Vlis: Op 28-01-15 om 10:02 schreef Geert Stappers: On Tue, Jan 27, 2015 at 02:46:43PM +0100, Paul van der Vlis wrote: Hoi, Ik zie iets raars in Jessie in Gnome Classic. In het menu-item Toepassingen zie ik twee keer het item Hulpmiddelen. Beide