output_buffer: converted ob_is_empty() to inline

The function ob_is_empty() is called very often.  It's worth it to
convert it to an inline function.

1 files changed, 4 insertions, 1 deletions

diff --git a/src/outputBuffer.h b/src/outputBuffer.h
index e1878196e..53c3893c9 100644
--- a/src/outputBuffer.h
+++ b/src/outputBuffer.h
@@ -78,7 +78,10 @@ void ob_flush(void);
 void ob_set_lazy(bool lazy);
 
 /** is the buffer empty? */
-int ob_is_empty(void);
+static inline bool ob_is_empty(void)
+{
+	return ob.begin == ob.end;
+}
 
 void ob_shift(void);