diff options
-rw-r--r-- | src/WorkspaceNameTool.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/WorkspaceNameTool.cc b/src/WorkspaceNameTool.cc index 369ac2d..a41e449 100644 --- a/src/WorkspaceNameTool.cc +++ b/src/WorkspaceNameTool.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: WorkspaceNameTool.cc,v 1.2 2003/08/11 20:39:05 fluxgen Exp $ | 23 | // $Id: WorkspaceNameTool.cc,v 1.3 2003/08/12 00:22:11 fluxgen Exp $ |
24 | 24 | ||
25 | #include "WorkspaceNameTool.hh" | 25 | #include "WorkspaceNameTool.hh" |
26 | 26 | ||
@@ -109,6 +109,7 @@ void WorkspaceNameTool::renderTheme() { | |||
109 | } else { | 109 | } else { |
110 | m_pixmap = m_screen.imageControl().renderImage(width(), height(), | 110 | m_pixmap = m_screen.imageControl().renderImage(width(), height(), |
111 | m_theme.texture()); | 111 | m_theme.texture()); |
112 | m_button.setBackgroundPixmap(m_pixmap); | ||
112 | } | 113 | } |
113 | if (tmp) | 114 | if (tmp) |
114 | m_screen.imageControl().removeImage(tmp); | 115 | m_screen.imageControl().removeImage(tmp); |