diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2007-07-09 17:30:03 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2007-07-09 17:30:03 (GMT) |
| commit | 764cd49bfb0596c780554078d9c3b2e121a9aa30 (patch) | |
| tree | 8d5ca6c3fec78484a7aba707646a1758b5514973 /NEWS | |
| parent | aa6a02436859df3d2d803d945a94d1cdd4b77772 (diff) | |
Snapshot aa6a024368.
Diffstat (limited to 'NEWS')
| -rw-r--r-- | NEWS | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1,3 +1,5 @@ +Snapshot aa6a024368 + * #1825: Fix tab label padding. (marco) * #1823: Margin at the toolbar tabs bottom. (marco) * #1872, #1934: Hide palettes when closing activities or switching views. (tomeu) |