all repos — fluxbox @ 2b63f32449efadf73e2c8200b56a9d1ee9d58c70

custom fork of the fluxbox windowmanager

minor fix
fluxgen fluxgen
commit

2b63f32449efadf73e2c8200b56a9d1ee9d58c70

parent

11643efc674e1da1646a86d981b5f9310ac7262a

1 files changed, 5 insertions(+), 2 deletions(-)

jump to
M src/WorkspaceNameTool.ccsrc/WorkspaceNameTool.cc

@@ -20,7 +20,7 @@ // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING

// FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER // DEALINGS IN THE SOFTWARE. -// $Id: WorkspaceNameTool.cc,v 1.1 2003/08/11 14:32:39 fluxgen Exp $ +// $Id: WorkspaceNameTool.cc,v 1.2 2003/08/11 20:39:05 fluxgen Exp $ #include "WorkspaceNameTool.hh"

@@ -38,10 +38,14 @@ m_theme(theme),

m_screen(screen), m_pixmap(0) { // set text + m_button.setGC(m_theme.textGC()); m_button.setText(m_screen.currentWorkspace()->name()); + // setup signals screen.currentWorkspaceSig().attach(this); theme.reconfigSig().attach(this); + + renderTheme(); } WorkspaceNameTool::~WorkspaceNameTool() {

@@ -109,7 +113,6 @@ }

if (tmp) m_screen.imageControl().removeImage(tmp); - m_button.setFont(m_theme.font()); m_button.setJustify(m_theme.justify()); m_button.clear(); }