<s> """<STR_LIT>""" <EOL> class Shift ( object ) : <EOL> def __init__ ( self , area , width = <NUM_LIT:4> , char = '<STR_LIT:U+0020>' ) : <EOL> self . width = width <EOL> self . char = char <EOL> area . install ( ( '<STR_LIT>' , '<STR_LIT>' , lambda event : event . widget . shift_sel_right ( self . width , self . char ) ) , <EOL> ( '<STR_LIT>' , '<STR_LIT>' , lambda event : event . widget . shift_sel_left ( self . width ) ) ) <EOL> install = Shift </s>
