Fork us on GitHub Follow us on Facebook Follow us on Twitter

Changeset 827d73f in mainline for tools/xtui.py


Ignore:
Timestamp:
2010-02-12T14:09:22Z (12 years ago)
Author:
Lukas Mejdrech <lukasmejdrech@…>
Branches:
lfn, master
Children:
a70bda4
Parents:
918e9910 (diff), e70edd1 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merged the actual head

File:
1 edited

Legend:

Unmodified
Added
Removed
  • tools/xtui.py

    r918e9910 r827d73f  
    213213                        sys.stdout.write("Selection[%s]: " % str(position + 1))
    214214                else:
    215                         sys.stdout.write("Selection: ")
     215                        if (cnt > 0):
     216                                sys.stdout.write("Selection[1]: ")
     217                        else:
     218                                sys.stdout.write("Selection[0]: ")
    216219                inp = sys.stdin.readline()
    217220               
     
    222225                        if (position != None):
    223226                                return (None, position)
    224                         continue
     227                        else:
     228                                if (cnt > 0):
     229                                        inp = '1'
     230                                else:
     231                                        inp = '0'
    225232               
    226233                if (inp.strip() == 'q'):
Note: See TracChangeset for help on using the changeset viewer.