PNG  IHDR;IDATxܻn0K )(pA 7LeG{ §㻢|ذaÆ 6lذaÆ 6lذaÆ 6lom$^yذag5bÆ 6lذaÆ 6lذa{ 6lذaÆ `}HFkm,mӪôô! x|'ܢ˟;E:9&ᶒ}{v]n&6 h_tڠ͵-ҫZ;Z$.Pkž)!o>}leQfJTu іچ\X=8Rن4`Vwl>nG^is"ms$ui?wbs[m6K4O.4%/bC%t Mז -lG6mrz2s%9s@-k9=)kB5\+͂Zsٲ Rn~GRC wIcIn7jJhۛNCS|j08yiHKֶۛkɈ+;SzL/F*\Ԕ#"5m2[S=gnaPeғL lذaÆ 6l^ḵaÆ 6lذaÆ 6lذa; _ذaÆ 6lذaÆ 6lذaÆ RIENDB` 'Provides "Strip trailing whitespace" under the "Format" menu.' __author__ = "Roger D. Serwy " class RstripExtension: menudefs = [ ('format', [None, ('Strip trailing whitespace', '<>'), ]),] def __init__(self, editwin): self.editwin = editwin self.editwin.text.bind("<>", self.do_rstrip) def do_rstrip(self, event=None): text = self.editwin.text undo = self.editwin.undo undo.undo_block_start() end_line = int(float(text.index('end'))) + 1 for cur in range(1, end_line): txt = text.get('%i.0' % cur, '%i.0 lineend' % cur) cut = len(txt.rstrip()) text.delete('%i.%i' % (cur, cut), '%i.0 lineend' % cur) undo.undo_block_stop()