Thread Previous • Date Previous • Date Next • Thread Next |
Hi, Dick Hollenbeck wrote: > Even, then this is not an endorsement of the patch, which seems noisy and of minimal value. Sure, maybe I'll propose this again after the merge, in the form of a cleaner global set_window_title() function.
Thread Previous • Date Previous • Date Next • Thread Next |