adjust preferences dialog.spinners decimals

closes #152
This commit is contained in:
Garux
2023-10-05 20:16:38 +06:00
parent 25e1ad50d9
commit dee00be204
7 changed files with 20 additions and 18 deletions

View File

@@ -91,10 +91,11 @@ void Brush_constructPreferences( PreferencesPage& page ){
FaceExportSnapPlanesCaller()
);
page.appendSpinner(
"Default texture scale",
g_texdef_default_scale,
"Default texture scale",
g_texdef_default_scale,
0.0625,
64
64,
4
);
if ( g_multipleBrushTypes ) {
const char* names[] = { BrushType_getName( g_brushTypes[0] ), BrushType_getName( g_brushTypes[1] ), BrushType_getName( g_brushTypes[2] ) };