mirror of
https://github.com/baldurk/renderdoc.git
synced 2026-05-04 17:10:47 +00:00
Remove device scaling factor from margins in the UI
Makes ShaderViewer, Capture Comments and Python Shell margins look correct for non-unit system scaling
This commit is contained in:
@@ -914,10 +914,10 @@ PythonShell::PythonShell(ICaptureContext &ctx, QWidget *parent)
|
||||
|
||||
scriptEditor->styleSetFont(STYLE_DEFAULT, Formatter::FixedFont().family().toUtf8().data());
|
||||
|
||||
scriptEditor->setMarginLeft(4.0 * devicePixelRatioF());
|
||||
scriptEditor->setMarginWidthN(0, 32.0 * devicePixelRatioF());
|
||||
scriptEditor->setMarginWidthN(1, 0);
|
||||
scriptEditor->setMarginWidthN(2, 16.0 * devicePixelRatioF());
|
||||
scriptEditor->setMarginLeft(4.0);
|
||||
scriptEditor->setMarginWidthN(0, 32.0);
|
||||
scriptEditor->setMarginWidthN(1, 0.0);
|
||||
scriptEditor->setMarginWidthN(2, 16.0);
|
||||
scriptEditor->setObjectName(lit("scriptEditor"));
|
||||
|
||||
scriptEditor->markerSetBack(CURRENT_MARKER, SCINTILLA_COLOUR(240, 128, 128));
|
||||
|
||||
Reference in New Issue
Block a user