From d00472c59d15259b486868c5ccdb50b6e602a548 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 6 Dec 2018 04:44:27 +0100
Subject: [doc] Enable Warning 50 [incorrect doc comment] and fix comments.

This is a pre-requisite to use automated formatting tools such as
`ocamlformat`, also, there were quite a few places where the comments
had basically no effect, thus it was confusing for the developer.

p.s: Reading some comments was a lot of fun :)
---
 ide/ideutils.ml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'ide/ideutils.ml')

diff --git a/ide/ideutils.ml b/ide/ideutils.ml
index 7044263b94..c14af7d21d 100644
--- a/ide/ideutils.ml
+++ b/ide/ideutils.ml
@@ -43,10 +43,10 @@ color on Windows.  A clean fix, if ever needed, would be to combine the attribut
 of the tags into a single composite tag before applying.  This is left as an
 exercise for the reader. *)
 let insert_with_tags (buf : #GText.buffer_skel) mark rmark tags text =
-  (** FIXME: LablGTK2 does not export the C insert_with_tags function, so that
-      it has to reimplement its own helper function. Unluckily, it relies on
-      a slow algorithm, so that we have to have our own quicker version here.
-      Alas, it is still much slower than the native version... *)
+  (* FIXME: LablGTK2 does not export the C insert_with_tags function, so that
+     it has to reimplement its own helper function. Unluckily, it relies on
+     a slow algorithm, so that we have to have our own quicker version here.
+     Alas, it is still much slower than the native version... *)
   if CList.is_empty tags then buf#insert ~iter:(buf#get_iter_at_mark mark) text
   else
     let it = buf#get_iter_at_mark mark in
-- 
cgit v1.2.3