Better support for different zoom levels in the mini-editor.

This commit is contained in:
David Capello 2011-04-02 20:58:51 -03:00
parent 536d67566f
commit b9f8c201c4

View File

@ -96,8 +96,11 @@ public:
} }
void scrollChanged(Editor* editor) OVERRIDE { void scrollChanged(Editor* editor) OVERRIDE {
// Show the mini editor // Show the mini editor if it wasn't created yet and the user
if (editor->getZoom() > 0) { // zoomed in, or if the mini-editor was created and the zoom of
// both editors is not the same.
if ((!mini_editor && editor->getZoom() > 0) ||
(mini_editor && mini_editor->getZoom() != editor->getZoom())) {
// If the mini frame does not exist, create it // If the mini frame does not exist, create it
if (!mini_editor_frame) if (!mini_editor_frame)
create_mini_editor_frame(); create_mini_editor_frame();