##// END OF EJS Templates
a few 1 pixel fixes....
a few 1 pixel fixes. this uses the same html/css structure acroos the tabs, and reduce the overlay click zone that expended the size of the header to 25px instead of 24px

File last commit:

r2440:0caaf43a
r19703:6879cac4
Show More
simpleerr.py
32 lines | 584 B | text/x-python | PythonLexer
"""Error script. DO NOT EDIT FURTHER! It will break exception doctests!!!"""
import sys
def div0():
"foo"
x = 1
y = 0
x/y
def sysexit(stat, mode):
raise SystemExit(stat, 'Mode = %s' % mode)
def bar(mode):
"bar"
if mode=='div':
div0()
elif mode=='exit':
try:
stat = int(sys.argv[2])
except:
stat = 1
sysexit(stat, mode)
else:
raise ValueError('Unknown mode')
if __name__ == '__main__':
try:
mode = sys.argv[1]
except IndexError:
mode = 'div'
bar(mode)