Bug Fix List - 4.0 Release: Difference between revisions
Jump to navigation
Jump to search
m (Mark bug as WON'T FIX) |
m (Mark bug as WON'T FIX) |
||
Line 27: | Line 27: | ||
* Owner: ??? {{bug|43079}} GUI display at high resolution | * Owner: ??? {{bug|43079}} GUI display at high resolution | ||
* Owner: ??? {{bug|43076}} CoreText performance note re Postcript font names. | * Owner: ??? {{bug|43076}} CoreText performance note re Postcript font names. | ||
* Owner: ??? {{bug|43058}} Workspace display related fix requested | * 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|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 |