[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#56510: Make some games obsolete (or just remove them from the menu)
From: |
Eli Zaretskii |
Subject: |
bug#56510: Make some games obsolete (or just remove them from the menu) |
Date: |
Tue, 12 Jul 2022 17:23:00 +0300 |
> Cc: 56510@debbugs.gnu.org
> From: Stefan Kangas <stefan@marxist.se>
> Date: Tue, 12 Jul 2022 09:04:44 -0500
>
> Lars Ingebrigtsen <larsi@gnus.org> writes:
>
> >> I suggest that we either remove some of them from the "Tools -> Games"
> >> menu, or obsolete them outright. Here are the ones that I don't think
> >> pass the bar:
> >>
> >> - 5x5.el
> >> - blackbox.el
> >> - gomoku.el
> >> - pong.el
> >> - solitaire.el
> >
> > I think pong is vaguely amusing (but it needs fixing -- it doesn't work
> > well by default since it uses a too-wide buffer). I think removing the
> > rest from the menu might make sense, because they sure aren't pretty.
>
> Could we agree to drop "5x5", "blackbox", "gomoku" and "solitaire" (or
> some subset thereof) from the menu? Eli?
I don't see why remove any games from there.
- bug#56510: Make some games obsolete (or just remove them from the menu), (continued)
- bug#56510: Make some games obsolete (or just remove them from the menu), Po Lu, 2022/07/12
- bug#56510: Make some games obsolete (or just remove them from the menu), Drew Adams, 2022/07/12
- bug#56510: Make some games obsolete (or just remove them from the menu), Stefan Kangas, 2022/07/12
- bug#56510: Make some games obsolete (or just remove them from the menu), Drew Adams, 2022/07/12
- bug#56510: Make some games obsolete (or just remove them from the menu), Richard Stallman, 2022/07/12
- bug#56510: Make some games obsolete (or just remove them from the menu), Drew Adams, 2022/07/13
- bug#56510: Make some games obsolete (or just remove them from the menu), Jean Louis, 2022/07/13
- bug#56510: Make some games obsolete (or just remove them from the menu), Richard Stallman, 2022/07/14
bug#56510: Make some games obsolete (or just remove them from the menu), Lars Ingebrigtsen, 2022/07/12
bug#56510: Make some games obsolete (or just remove them from the menu), Po Lu, 2022/07/12