From 259ffbff482307983a70d69905e2b3dd329c5521 Mon Sep 17 00:00:00 2001 From: Ollie Charles Date: Mon, 13 Sep 2021 18:05:49 +0100 Subject: [PATCH] Fix `DearImGui` TOC (#101) --- src/DearImGui.hs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/DearImGui.hs b/src/DearImGui.hs index fc08571..8857d54 100644 --- a/src/DearImGui.hs +++ b/src/DearImGui.hs @@ -172,11 +172,11 @@ module DearImGui , inputTextMultiline , inputTextWithHint - -- * Color Editor/Picker + -- ** Color Editor/Picker , colorPicker3 , colorButton - -- * Trees + -- ** Trees , treeNode , treePush , Raw.treePop @@ -187,7 +187,7 @@ module DearImGui -- ** List Boxes , listBox - -- * Data Plotting + -- ** Data Plotting , plotHistogram -- ** Menus @@ -221,7 +221,7 @@ module DearImGui , tabItemButton , setTabItemClosed - -- * Tooltips + -- ** Tooltips , withTooltip , Raw.beginTooltip , Raw.endTooltip