From 1156525ce92bcb2f20384c365baccb8bea7379f3 Mon Sep 17 00:00:00 2001
From: Emil Ernerfeldt <emilernerfeldt@gmail.com>
Date: Thu, 1 Oct 2020 16:18:03 +0200
Subject: [PATCH] [clippy] fixes

---
 egui/src/ui.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/egui/src/ui.rs b/egui/src/ui.rs
index f9247a21..3f4b17ba 100644
--- a/egui/src/ui.rs
+++ b/egui/src/ui.rs
@@ -1,3 +1,5 @@
+#![allow(clippy::float_cmp)]
+
 use std::{hash::Hash, sync::Arc};
 
 use crate::{color::*, containers::*, layout::*, paint::*, widgets::*, *};
@@ -210,7 +212,7 @@ impl Ui {
 
     /// This is like `max_rect()`, but will never be infinite.
     /// If the desired rect is infinite ("be as big as you want")
-    /// this will be bounded by min_rect instead.
+    /// this will be bounded by `min_rect` instead.
     pub fn max_rect_finite(&self) -> Rect {
         let mut right_bottom = self.min_rect.max;
         if self.max_rect.max.x.is_finite() {