You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-07 12:30:27 +00:00
Fixes min size of various editor plugins on HiDPI
* AnimationTree * AudioStream * ResourcePreloader * ShaderEditor * VisualShaderEditor
This commit is contained in:
@@ -32,6 +32,7 @@
|
||||
|
||||
#include "core/io/resource_loader.h"
|
||||
#include "core/project_settings.h"
|
||||
#include "editor/editor_scale.h"
|
||||
#include "editor/editor_settings.h"
|
||||
|
||||
void ResourcePreloaderEditor::_gui_input(Ref<InputEvent> p_event) {
|
||||
@@ -438,7 +439,7 @@ ResourcePreloaderEditorPlugin::ResourcePreloaderEditorPlugin(EditorNode *p_node)
|
||||
|
||||
editor = p_node;
|
||||
preloader_editor = memnew(ResourcePreloaderEditor);
|
||||
preloader_editor->set_custom_minimum_size(Size2(0, 250));
|
||||
preloader_editor->set_custom_minimum_size(Size2(0, 250) * EDSCALE);
|
||||
|
||||
button = editor->add_bottom_panel_item(TTR("ResourcePreloader"), preloader_editor);
|
||||
button->hide();
|
||||
|
||||
Reference in New Issue
Block a user