This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Author Nashev
Recipients Nashev, kbk, michael.foord, rhettinger
Date 2008-01-10.12:31:43
SpamBayes Score 0.094133794
Marked as misclassified No
Message-id <1199968305.26.0.172690717355.issue1207589@psf.upfronthosting.co.za>
In-reply-to
Content
1) in file EditorWindow.py 2 editings:

a) remove selection-killer command on popup

    def right_menu_event(self, event):
--      self.text.tag_remove("sel", "1.0", "end")

b) add ability to make separators in popup menu

    def make_rmenu(self):
        rmenu = Menu(self.text, tearoff=0)
        for label, eventname in self.rmenu_specs:
++          if label != "-":
                def command(text=self.text, eventname=eventname):
                    text.event_generate(eventname)
                rmenu.add_command(label=label, command=command)
++          else:
++              rmenu.add_separator()
        self.rmenu = rmenu

2) in PyShell.py extend rmenu_specs

    rmenu_specs = [
++      ("Cut", "<<Cut>>"), 
++      ("Copy", "<<Copy>>"),
++      ("Paste", "<<Paste>>"),
++      ("-", ""),
        ("Set Breakpoint", "<<set-breakpoint-here>>"),
        ("Clear Breakpoint", "<<clear-breakpoint-here>>")
    ]

done...

And now I can't find easy way to next two desired features:
  1) disable cut/copy commands in case no selection (but it is not
exists in main menu too)
  2) display assigned hot keys in popup menu
History
Date User Action Args
2008-01-10 12:31:45Nashevsetspambayes_score: 0.0941338 -> 0.094133794
recipients: + Nashev, rhettinger, kbk, mjfoord
2008-01-10 12:31:45Nashevsetspambayes_score: 0.0941338 -> 0.0941338
messageid: <1199968305.26.0.172690717355.issue1207589@psf.upfronthosting.co.za>
2008-01-10 12:31:43Nashevlinkissue1207589 messages
2008-01-10 12:31:43Nashevcreate