all repos — fluxbox @ eada72fae30d31291d3c9135242725d6b5bd6396

custom fork of the fluxbox windowmanager

fixed background pixmap bug
fluxgen fluxgen
commit

eada72fae30d31291d3c9135242725d6b5bd6396

parent

b441ee120b62acf89404f9d2c2a6f4579f2e01b5

1 files changed, 2 insertions(+), 1 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.2 2003/08/11 20:39:05 fluxgen Exp $ +// $Id: WorkspaceNameTool.cc,v 1.3 2003/08/12 00:22:11 fluxgen Exp $ #include "WorkspaceNameTool.hh"

@@ -109,6 +109,7 @@ m_button.setBackgroundColor(m_theme.texture().color());

} else { m_pixmap = m_screen.imageControl().renderImage(width(), height(), m_theme.texture()); + m_button.setBackgroundPixmap(m_pixmap); } if (tmp) m_screen.imageControl().removeImage(tmp);