Editing Bug Fix List - 4.0 Release
The edit can be undone. Please check the comparison below to verify that this is what you want to do, and then publish the changes below to finish undoing the edit.
Latest revision | Your text | ||
Line 34: | Line 34: | ||
* WON'T FIX <strike> Owner: ??? {{bug|43076}} CoreText performance note re Postcript font names. </strike> | * WON'T FIX <strike> Owner: ??? {{bug|43076}} CoreText performance note re Postcript font names. </strike> | ||
* WON'T FIX <strike> Owner: ??? {{bug|43058}} Workspace display related fix requested </strike> | * WON'T FIX <strike> Owner: ??? {{bug|43058}} Workspace display related fix requested </strike> | ||
* | * Owner: ??? {{bug|42980}} GUI: when undocking editor, focus is in documentation rather than terminal | ||
* Owner: ??? {{bug|42708}} Breakpoints should be removed from files when changes are saved | * Owner: ??? {{bug|42708}} Breakpoints should be removed from files when changes are saved | ||
* Owner: ??? {{bug|42705}} Commands continue to be sent to the terminal if breakpoint hit | * Owner: ??? {{bug|42705}} Commands continue to be sent to the terminal if breakpoint hit |