Comment 5 for bug 148694

Revision history for this message
Hugo Josefson (hugojosefson) wrote :

I have the same problem with tilda going blank after the having hid it with the hot key and then trying to bring it back with the hot key. As the submitter wrote, restarting the application may be necessary to see the results of any changed settings in the Preferences dialogue.

Same version of tilda (0.09.4-4 on gutsy).

BUG OCCURS for me under the following circumstances:
* Animated pulldown disabled
* Animated pulldown enabled AND AnimationOrientation=Top AND AnimationDelay<1000
* Animated pulldown enabled AND AnimationOrientation=Bottom AND AnimationDelay<1000

Bug DOES NOT occur for me under the following circumstances:
* Animated pulldown enabled AND AnimationOrientation=Top AND AnimationDelay>10000
* Animated pulldown enabled AND AnimationOrientation=Bottom AND AnimationDelay>10000
* Animated pulldown enabled AND AnimationOrientation=Right AND AnimationDelay>100
* Animated pulldown enabled AND AnimationOrientation=Left AND AnimationDelay>100

The bug occurs SOMETIMES for me under the following circumstances:
* Animated pulldown enabled AND AnimationOrientation=Top AND AnimationDelay>1000 AND AnimationDelay<10000
* Animated pulldown enabled AND AnimationOrientation=Bottom AND AnimationDelay>1000 AND AnimationDelay<10000
* Animated pulldown enabled AND AnimationOrientation=Right AND AnimationDelay<100
* Animated pulldown enabled AND AnimationOrientation=Left AND AnimationDelay<100

Whenever the bug starts to occur in a tilda window, I can not get rid of it in any other way than really restarting the application. Hiding and unhiding with the hot key doesn't bring it back to a working condition.