Zaha Mihai 35dadaeab6

Fix tabbar drawing not updated when tab is erased ...

When a tab is deleted using `tabbar::erase`, `trigger::erase` is called. This function does not call `API::refresh_window` if the tab was erased successfully (unlike `trigger::tab_color`, `trigger::tab_image`, etc.), thus the tab is still visible until an interaction is made (like mouse click on `tabbar`).

2019-09-15 23:32:58 +03:00

..

audio

fix a syntax error

2018-05-29 04:14:01 +08:00

detail

refactor the implementation of timer in Linux

2019-07-14 13:40:17 +08:00

filesystem

fix missing weakly_canonical on GCC 7.3

2019-09-11 00:07:07 +08:00

gui

Fix tabbar drawing not updated when tab is erased

2019-09-15 23:32:58 +03:00

paint

fix crash that could occur when calling pixel_buffer::put with rgb24

2019-09-12 05:34:49 +08:00

system

refactor

2019-06-30 11:56:16 +08:00

threads

fix memory leak in class pool(#455)

2019-07-18 21:29:02 +08:00

any.cpp

a standard experimental class any

2016-01-25 23:56:05 +08:00

basic_types.cpp

fix typos

2019-04-14 14:49:01 +09:00

charset.cpp

small improvement

2019-09-02 05:24:06 +08:00

datetime.cpp

improve compatability with old compiler

2019-06-14 05:34:28 +08:00

deploy.cpp

fix typos

2019-04-14 14:49:01 +09:00

internationalization.cpp

fix typos

2019-04-14 14:49:01 +09:00

stdc++.cpp

Merge branch 'develop-c++17' into develop

2018-06-04 02:29:55 +08:00

unicode_bidi.cpp

refactoring and fix

2019-07-10 04:25:00 +08:00