Changeset 4046:2dd07c20d882 in orange


Ignore:
Timestamp:
08/04/07 12:14:06 (7 years ago)
Author:
janezd <janez.demsar@…>
Branch:
default
Convert:
7134c56a535b1f9756d2d09dedc4ec134f1d4382
Message:
  • indentedBox now support the addSpace argument
File:
1 edited

Legend:

Unmodified
Added
Removed
  • orange/OrangeWidgets/OWGUI.py

    r3788 r4046  
    4141    return b 
    4242 
    43 def indentedBox(widget, sep=20, orientation = False): 
     43def indentedBox(widget, sep=20, orientation = False, addSpace=False): 
    4444    r = widgetBox(widget, orientation = orientation) 
    4545    separator(r, sep, 0) 
     46 
     47    if type(addSpace) == int: 
     48        separator(widget, 0, addSpace) 
     49    elif addSpace: 
     50        separator(widget) 
     51 
    4652    return widgetBox(r) 
    4753 
     
    5359    else: 
    5460        lbl = None 
     61 
    5562    return lbl 
    5663 
     
    643650        hb = widgetBox(widget, box, orientation) 
    644651        widgetLabel(hb, label, labelWidth) 
     652        separator(hb, 8, 4) 
    645653        horizontalBox = orientation == 'horizontal' or not orientation 
    646654    else: 
Note: See TracChangeset for help on using the changeset viewer.