Message367946
Since the help sources extend the Help menu, putting them under Extensions makes some sense. But I don't know how many people would think to look at the tab. But something to keep in mind. We can also ask for user opinions on idle-dev list.
Notebooks can put tabs on any side. I found one side example.
https://stackoverflow.com/questions/46909169/python-tkinter-side-notebook-tabs
This would allow more and longer tab names, though I would prefer position='w'or 'wn' (west north) instead of 'ws'. We should try this for the existing extensions pane.
When done with General, there are issues about redoing Highlights and Keys pages, with one person's mockups. One problem with making changes has been divergent opinions. |
|
Date |
User |
Action |
Args |
2020-05-02 19:17:03 | terry.reedy | set | recipients:
+ terry.reedy, epaine |
2020-05-02 19:17:03 | terry.reedy | set | messageid: <1588447023.43.0.818629253593.issue40468@roundup.psfhosted.org> |
2020-05-02 19:17:03 | terry.reedy | link | issue40468 messages |
2020-05-02 19:17:03 | terry.reedy | create | |
|