Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. fixed the unnecessary scrolling when selected element was visible anyway; fixed the selection while zoom scaling != 1.0; removed the filenamechange in the wizard
Revision 12763 by jdabbert:
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 TypePath in RepositoryPath 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