diff options
Diffstat (limited to 'src/WorkspaceNameTool.cc')
-rw-r--r-- | src/WorkspaceNameTool.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/WorkspaceNameTool.cc b/src/WorkspaceNameTool.cc index fe1fa6f..e0a01f9 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.5 2003/08/26 23:20:07 fluxgen Exp $ | 23 | // $Id: WorkspaceNameTool.cc,v 1.6 2003/12/07 16:39:43 fluxgen Exp $ |
24 | 24 | ||
25 | #include "WorkspaceNameTool.hh" | 25 | #include "WorkspaceNameTool.hh" |
26 | 26 | ||
@@ -109,7 +109,7 @@ void WorkspaceNameTool::hide() { | |||
109 | 109 | ||
110 | void WorkspaceNameTool::renderTheme() { | 110 | void WorkspaceNameTool::renderTheme() { |
111 | Pixmap tmp = m_pixmap; | 111 | Pixmap tmp = m_pixmap; |
112 | if (m_theme.texture().type() == (FbTk::Texture::FLAT | FbTk::Texture::SOLID)) { | 112 | if (!m_theme.texture().usePixmap()) { |
113 | m_pixmap = 0; | 113 | m_pixmap = 0; |
114 | m_button.setBackgroundColor(m_theme.texture().color()); | 114 | m_button.setBackgroundColor(m_theme.texture().color()); |
115 | } else { | 115 | } else { |