#45711: gtk: Drop editbar.player_properties_button Open Date: 2022-09-25 03:17 Last Update: 2022-09-25 05:14 URL for this Ticket: https://osdn.net//projects/freeciv/ticket/45711 RSS feed for this Ticket: https://osdn.net/ticket/ticket_rss.php?group_id=12505&tid=45711 --------------------------------------------------------------------- Last Changes/Comment on this Ticket: 2022-09-25 05:14 Updated by: cazfi * Owner Update from (None) to cazfi * Resolution Update from None to Accepted * Milestone Update from (None) to 3.0.4 --------------------------------------------------------------------- Ticket Status: Reporter: cazfi Owner: cazfi Type: Bugs Status: Open [Owner assigned] Priority: 5 - Medium MileStone: 3.0.4 Component: Gtk3.22-client Severity: 5 - Medium Resolution: Accepted --------------------------------------------------------------------- Ticket details: gtk-clients' eidtbar.player_properties_button is never used for anything, it's just assigned. Drop it. -- Ticket information of Freeciv project Freeciv Project is hosted on OSDN Project URL: https://osdn.net/projects/freeciv/ OSDN: https://osdn.net URL for this Ticket: https://osdn.net/projects/freeciv/ticket/45711 RSS feed for this Ticket: https://osdn.net/ticket/ticket_rss.php?group_id=12505&tid=45711