diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2007-07-09 13:09:59 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2007-07-09 13:09:59 (GMT) |
| commit | 40ed24f0fe1d34198c105a4c1396282e244fbba9 (patch) | |
| tree | 136d7eaf50c22905b8ae337f4b69dc3ee6a177b3 /NEWS | |
| parent | 376cb911747aba631098e495b86b78265ee4879c (diff) | |
Fix tab label padding
Diffstat (limited to 'NEWS')
| -rw-r--r-- | NEWS | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,3 +1,4 @@ +* #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) |