[gtk+] GtkVolumeButton: Fix annoying double formatting
- From: Matthias Clasen <matthiasc src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gtk+] GtkVolumeButton: Fix annoying double formatting
- Date: Sat, 1 Nov 2014 17:21:31 +0000 (UTC)
commit 18a2a6a90ea0de5f4ef8eba42b61095e64a4c722
Author: Matthias Clasen <mclasen redhat com>
Date: Sat Nov 1 13:18:33 2014 -0400
GtkVolumeButton: Fix annoying double formatting
We meant to specify 0.2, and it came out as 0.2000000001.
gtk/resources/ui/gtkvolumebutton.ui | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/gtk/resources/ui/gtkvolumebutton.ui b/gtk/resources/ui/gtkvolumebutton.ui
index 938ac0d..e4162f5 100644
--- a/gtk/resources/ui/gtkvolumebutton.ui
+++ b/gtk/resources/ui/gtkvolumebutton.ui
@@ -4,7 +4,7 @@
<object class="GtkAdjustment" id="adjustment">
<property name="upper">1</property>
<property name="step_increment">0.02</property>
- <property name="page_increment">0.20000000000000001</property>
+ <property name="page_increment">0.2</property>
</object>
<template class="GtkVolumeButton" parent="GtkScaleButton">
<property name="visible">True</property>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]