#45711: gtk: Drop editbar.player_properties_button
Open Date: 2022-09-25 03:17
Last Update: 2022-09-25 03:17
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 03:17 Updated by: cazfi
* New Ticket "gtk: Drop editbar.player_properties_button" created
---------------------------------------------------------------------
Ticket Status:
Reporter: cazfi
Owner: (None)
Type: Bugs
Status: Open
Priority: 5 - Medium
MileStone: (None)
Component: Gtk3.22-client
Severity: 5 - Medium
Resolution: None
---------------------------------------------------------------------
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