In the meantime the question still remains: what is the probability that these UI issues are going to be satisfactorily resolved within the near future, in time for the release of 0.92? In my opinion the probability is near zero (given the fact that the original commit, 14022, was made more than a year ago). So I think we should go ahead with a temporary patch as above, rather than waiting for the various associated issues to get resolved.
okay, I'll give that a try sometime soon.
In the meantime the question still remains: what is the probability that these UI issues are going to be satisfactorily resolved within the near future, in time for the release of 0.92? In my opinion the probability is near zero (given the fact that the original commit, 14022, was made more than a year ago). So I think we should go ahead with a temporary patch as above, rather than waiting for the various associated issues to get resolved.