https://bugs.documentfoundation.org/show_bug.cgi?id=157708
--- Comment #3 from Michael Weghorn <[email protected]> --- (In reply to Stéphane Guillou (stragu) from comment #2) > Michael, Caolán and Heiko, I feel like you all could have an opinion on this? > If not, please feel free to un-CC :) > Admittedly, not a high priority enhancement, but I guess it can't hurt and > could be quite easy to fix? No objections from my side. Sounds reasonable to me and from a quick glance at the geany source code, that seems to be just a matter of calling 'gtk_widget_set_name' for the corresponding widget: https://github.com/geany/geany/blob/ba6fc4a4fa48239daca7350ec05d25e44cc89169/src/libmain.c#L294 -- You are receiving this mail because: You are the assignee for the bug.
