1) if the view panel is displayed at the top of the window, the mouse-sizing of the prompt panel becomes crazy.
2) For a window user the lacking of ctrl-inser and maj-inser in addition to ctrl-c and ctrl-V is very annoying :-(
If you want to have ctrl-c AND ctrl-insert, you can assign a DrScript for that. For example in a DrScript: wx.stc.StyledTextCtrl.Copy (DrDocument) (Cut and Paste for the other bindings).
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
for 2) you can assign a new hotkey in Options, Customize Shortcuts (List Text Control) for that.
If you want to have ctrl-c AND ctrl-insert, you can assign a DrScript for that. For example in a DrScript: wx.stc.StyledTextCtrl.Copy (DrDocument) (Cut and Paste for the other bindings).
1) cannont duplicate that bug
for 2) you could add a script: DrDocument.Paste() and bind it to ctrl-insert for example