homepage

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

AltStyle によって変換されたページ (->オリジナル) /