[ ... ]
checked in some fixes, please try again
;;;;;;;;;;;;
made settings more convenient, new commands
- toggle-py-split-windows-on-execute-p - py-split-windows-on-execute-p-off - py-split-windows-on-execute-p-on
- toggle-py-switch-buffers-on-execute-p - py-switch-buffers-on-execute-p-on - py-switch-buffers-on-execute-p-off
`py-shell-manage-windows' reconsidered menu Modes from PyTools redone
[ ... ]
checked in some fixes, please try again
;;;;;;;;;;;;
made settings more convenient, new commands
- toggle- py-split- windows- on-execute- p windows- on-execute- p-off windows- on-execute- p-on
- py-split-
- py-split-
- toggle- py-switch- buffers- on-execute- p buffers- on-execute- p-on buffers- on-execute- p-off
- py-switch-
- py-switch-
`py- shell-manage- windows' reconsidered
menu Modes from PyTools redone