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