From 916e667aa2717f60315e5d88030ee3ca70592065 Mon Sep 17 00:00:00 2001
From: Emil Ernerfeldt <emil.ernerfeldt@gmail.com>
Date: Thu, 11 Jun 2020 18:07:42 +0200
Subject: [PATCH] [style] tigher buttons and monospaced DragValue text

---
 egui/src/style.rs   | 2 +-
 egui/src/widgets.rs | 4 +++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/egui/src/style.rs b/egui/src/style.rs
index 115ec5c0..3febac6d 100644
--- a/egui/src/style.rs
+++ b/egui/src/style.rs
@@ -73,7 +73,7 @@ impl Default for Style {
     fn default() -> Self {
         Self {
             window_padding: vec2(6.0, 6.0),
-            button_padding: vec2(5.0, 3.0),
+            button_padding: vec2(4.0, 1.0),
             item_spacing: vec2(8.0, 4.0),
             indent: 21.0,
             clickable_diameter: 22.0,
diff --git a/egui/src/widgets.rs b/egui/src/widgets.rs
index 1a8c9d37..e135b60d 100644
--- a/egui/src/widgets.rs
+++ b/egui/src/widgets.rs
@@ -534,7 +534,9 @@ impl<'a> Widget for DragValue<'a> {
             .log10()
             .ceil()
             .max(0.0) as usize;
-        let button = Button::new(format!("{:.*}", precision, *value)).sense(Sense::drag());
+        let button = Button::new(format!("{:.*}", precision, *value))
+            .sense(Sense::drag())
+            .text_style(TextStyle::Monospace);
         let interact = ui.add(button);
         if interact.active {
             let mdelta = ui.input().mouse.delta;