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:45 | Nashev | set | spambayes_score: 0.0941338 -> 0.094133794 recipients: + Nashev, rhettinger, kbk, mjfoord |
| 2008年01月10日 12:31:45 | Nashev | set | spambayes_score: 0.0941338 -> 0.0941338 messageid: <1199968305.26.0.172690717355.issue1207589@psf.upfronthosting.co.za> |
| 2008年01月10日 12:31:43 | Nashev | link | issue1207589 messages |
| 2008年01月10日 12:31:43 | Nashev | create | |