Funny, I was just thinking about this bug as I noticed today I have tooltips again in both 0.4 and 0.5. Could it have been fixed with some gtk update, perhaps? I am on Intrepid and can't seem to find any missing tooltips. What about your Karel?
Funny, I was just thinking about this bug as I noticed today I have tooltips again in both 0.4 and 0.5. Could it have been fixed with some gtk update, perhaps? I am on Intrepid and can't seem to find any missing tooltips. What about your Karel?