diff options
author | Thierry Vignaud <thierry.vignaud@gmail.com> | 2015-05-19 06:17:23 -0400 |
---|---|---|
committer | Thierry Vignaud <thierry.vignaud@gmail.com> | 2015-05-19 09:33:31 -0400 |
commit | 7dbb2f4624e9df80b2aec3ad476347d2ea37e0ef (patch) | |
tree | ef3bcef8790a8d8e3dbb06512662011910d2d3df /docs/Partition-ends-after-end-of-disk.txt | |
parent | ecac6fb0105f742ebd6a9b8ab3a533123fadbe38 (diff) | |
download | drakx-7dbb2f4624e9df80b2aec3ad476347d2ea37e0ef.tar drakx-7dbb2f4624e9df80b2aec3ad476347d2ea37e0ef.tar.gz drakx-7dbb2f4624e9df80b2aec3ad476347d2ea37e0ef.tar.bz2 drakx-7dbb2f4624e9df80b2aec3ad476347d2ea37e0ef.tar.xz drakx-7dbb2f4624e9df80b2aec3ad476347d2ea37e0ef.zip |
fix setting banner icon top margin (mga#12358)
Gtk3's gtk_widget_set_margin_top() really is buged when margin < 0
bug introduced in commit f5ed08a589bc9081c68188c464a5a978557d0b2a
Diffstat (limited to 'docs/Partition-ends-after-end-of-disk.txt')
0 files changed, 0 insertions, 0 deletions