Since 8a420ec the redrawtime option has no effect. Given that no one
has complained about it I wonder if its even useful. I also looked and it
seems like it was never submitted upstream. Personally I would be in favor
of just dropping it altogether but if people want to keep it I can look
into submitting the relevant parts of 15d213e to upstream scintillua.
Since 8a420ec the
redrawtimeoption has no effect. Given that no one has complained about it I wonder if its even useful. I also looked and it seems like it was never submitted upstream. Personally I would be in favor of just dropping it altogether but if people want to keep it I can look into submitting the relevant parts of 15d213e to upstream scintillua.