![[Jenkins]](/ci/static/5d841056/images/svgs/logo.svg){kind=logo}
Summary
- fixed the unnecessary scrolling when selected element was visible anyway; fixed the selection while zoom scaling != 1.0; removed the filenamechange in the wizard
| Change Type | Path in Repository | Path in Workspace |
|---|---|---|
| The file was modified | /trunk/lab/noteeditor/info.textgrid.lab.noteeditor/src/info/textgrid/lab/noteeditor/MeiseEditor.java (diff) | N/A |
| The file was modified | /trunk/lab/noteeditor/info.textgrid.lab.noteeditor/src/info/textgrid/lab/noteeditor/MeiseNonScrollingGraphicalViewer.java (diff) | N/A |
| The file was modified | /trunk/lab/noteeditor/info.textgrid.lab.noteeditor/src/info/textgrid/lab/noteeditor/MusicWizardPage1.java (diff) | N/A |
| The file was modified | /trunk/lab/noteeditor/info.textgrid.lab.noteeditor/src/info/textgrid/lab/noteeditor/figures/FigureRenderLibrary.java (diff) | N/A |