diff options
author | fluxgen <fluxgen> | 2003-10-26 20:13:11 (GMT) |
---|---|---|
committer | fluxgen <fluxgen> | 2003-10-26 20:13:11 (GMT) |
commit | 8681e27ec24f39e8f30387644deb5b719bacd2e6 (patch) | |
tree | 63f602cfda9db39cf79e66a4602d70bd784a1b6e | |
parent | be807760d03827e4c61621b958568d69aa3dcf21 (diff) | |
download | fluxbox_paul-8681e27ec24f39e8f30387644deb5b719bacd2e6.zip fluxbox_paul-8681e27ec24f39e8f30387644deb5b719bacd2e6.tar.bz2 |
minor bugfix
-rw-r--r-- | src/IconbarTool.cc | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/IconbarTool.cc b/src/IconbarTool.cc index ee0d7cf..6bcc6b8 100644 --- a/src/IconbarTool.cc +++ b/src/IconbarTool.cc | |||
@@ -20,7 +20,7 @@ | |||
20 | // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER | 20 | // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER |
21 | // DEALINGS IN THE SOFTWARE. | 21 | // DEALINGS IN THE SOFTWARE. |
22 | 22 | ||
23 | // $Id: IconbarTool.cc,v 1.14 2003/10/09 16:48:09 rathnor Exp $ | 23 | // $Id: IconbarTool.cc,v 1.15 2003/10/26 20:13:11 fluxgen Exp $ |
24 | 24 | ||
25 | #include "IconbarTool.hh" | 25 | #include "IconbarTool.hh" |
26 | 26 | ||
@@ -424,13 +424,14 @@ void IconbarTool::renderTheme() { | |||
424 | m_empty_pm = 0; | 424 | m_empty_pm = 0; |
425 | m_icon_container.setBackgroundColor(m_theme.emptyTexture().color()); | 425 | m_icon_container.setBackgroundColor(m_theme.emptyTexture().color()); |
426 | } else { | 426 | } else { |
427 | m_empty_pm = m_screen.imageControl().renderImage(m_icon_container.width(), m_icon_container.height(), | 427 | m_empty_pm = m_screen.imageControl().renderImage(m_icon_container.width(), |
428 | m_icon_container.height(), | ||
428 | m_theme.emptyTexture()); | 429 | m_theme.emptyTexture()); |
429 | m_icon_container.setBackgroundPixmap(m_empty_pm); | 430 | m_icon_container.setBackgroundPixmap(m_empty_pm); |
430 | } | 431 | } |
431 | 432 | ||
432 | if (tmp) | 433 | if (tmp) |
433 | m_screen.imageControl().removeImage(m_empty_pm); | 434 | m_screen.imageControl().removeImage(tmp); |
434 | 435 | ||
435 | m_icon_container.setBorderWidth(m_theme.border().width()); | 436 | m_icon_container.setBorderWidth(m_theme.border().width()); |
436 | m_icon_container.setBorderColor(m_theme.border().color()); | 437 | m_icon_container.setBorderColor(m_theme.border().color()); |