diff options
Diffstat (limited to 'src/WorkspaceNameTool.cc')
-rw-r--r-- | src/WorkspaceNameTool.cc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/WorkspaceNameTool.cc b/src/WorkspaceNameTool.cc index e0a01f9..f2291e3 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.6 2003/12/07 16:39:43 fluxgen Exp $ | 23 | // $Id: WorkspaceNameTool.cc,v 1.7 2004/01/13 14:41:32 rathnor Exp $ |
24 | 24 | ||
25 | #include "WorkspaceNameTool.hh" | 25 | #include "WorkspaceNameTool.hh" |
26 | 26 | ||
@@ -123,5 +123,7 @@ void WorkspaceNameTool::renderTheme() { | |||
123 | m_button.setJustify(m_theme.justify()); | 123 | m_button.setJustify(m_theme.justify()); |
124 | m_button.setBorderWidth(m_theme.border().width()); | 124 | m_button.setBorderWidth(m_theme.border().width()); |
125 | m_button.setBorderColor(m_theme.border().color()); | 125 | m_button.setBorderColor(m_theme.border().color()); |
126 | m_button.setAlpha(m_theme.alpha()); | ||
126 | m_button.clear(); | 127 | m_button.clear(); |
128 | m_button.updateTransparent(); | ||
127 | } | 129 | } |