Changeset 4978:a6faedc4713b in orange


Ignore:
Timestamp:
07/15/08 15:54:41 (6 years ago)
Author:
gregor <gregor@…>
Branch:
default
Convert:
81ebb1079ad35c57ed17742b4b6688016285c09b
Message:
  • bug fix in widgetBox: although addSpace = False we still added a separator
File:
1 edited

Legend:

Unmodified
Added
Removed
  • orange/OrangeWidgets/OWGUI.py

    r4950 r4978  
    6060        b.layout().setMargin(margin) 
    6161 
    62     if isinstance(addSpace, int): 
     62    if addSpace and isinstance(addSpace, int): 
    6363        separator(widget, 0, addSpace) 
    6464    elif addSpace: 
Note: See TracChangeset for help on using the changeset viewer.