diff options
| author | Mathias Gumz <akira at fluxbox dot org> | 2013-02-01 19:36:20 (GMT) |
|---|---|---|
| committer | Mathias Gumz <akira at fluxbox dot org> | 2013-02-01 19:36:30 (GMT) |
| commit | 3e4ee48bf16be6925b7c35ab8bd73bd962c674d8 (patch) | |
| tree | f2f8d2a76f4df5c27467d875546402075c578740 /data/styles/arch/theme.cfg | |
| parent | dc47491533e0ca7cf5a5386a10e68fbaf873e9db (diff) | |
| download | fluxbox-3e4ee48bf16be6925b7c35ab8bd73bd962c674d8.zip fluxbox-3e4ee48bf16be6925b7c35ab8bd73bd962c674d8.tar.bz2 | |
Fix regression regarding timers with equal end-time
std::set<Key, Comp> stores Key only if Comp(Key) yields a unique result (My
mistake: I was under the impression Comp is only used for the ordering). This
prevents FbTk::Timers with equal end-times from actually being started.
Escpecially in situation with multiple ClockTools this lead to stopped timers
(see bug #3600694).
Kudos to Adam Majer for enlightening discussions.
Diffstat (limited to 'data/styles/arch/theme.cfg')
0 files changed, 0 insertions, 0 deletions