diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -2,6 +2,9 @@
 
 ## [unreleased]
 
+## [0.1.0.7]
+- fix several bugs
+
 ## [0.1.0.6]
 - fix several bugs
 - remove patch dependency
diff --git a/src/Potato/Flow/Controller/Goat.hs b/src/Potato/Flow/Controller/Goat.hs
--- a/src/Potato/Flow/Controller/Goat.hs
+++ b/src/Potato/Flow/Controller/Goat.hs
@@ -782,10 +782,9 @@
   next_canvasSelection = computeCanvasSelection goatState_afterSetLayersState -- (TODO pretty sure this is the same as `canvasSelection = computeCanvasSelection goatState_afterSelection` above..)
 
   -- we check both the pIsHandlerActive and goatState_hasLocalPreview condition to see if we want to recreate the handler
-  -- actually, we could only check pIsHandlerActive if all handlers properly reported their state
-  -- TODO the issue with not (goatState_hasLocalPreview goatState_afterSetLayersState) is that we may actually want to regen the handler we just haven't commit its preview yet (i.e. box creation)
-  --  NO that's not true because in those cases you can return an explicit commit action or you return HOA_Nothing which should also commit when the handler is replaced
-  --  ☝🏽 pretty this TODO is not relevant anymore 🤷🏼‍♀️
+  -- actually, we could/should only check pIsHandlerActive if all handlers properly reported their state
+  -- TODO handlers to report correct state
+  -- NOTE the reason why this works right now is because makeHAndlerFromSelection  regens the handler we want
   (next_handler, next_workspace) = if (not . handlerActiveState_isActive) (pIsHandlerActive (_goatState_handler goatState_afterSetLayersState)) && not (goatState_hasLocalPreview goatState_afterSetLayersState)
     -- if we replaced the handler, commit its local preview if there was one
     then (makeHandlerFromSelection next_canvasSelection, maybeCommitLocalPreviewToLlamaStackAndClear $ _goatState_workspace goatState_afterSetLayersState)
diff --git a/src/Potato/Flow/Controller/Handler.hs b/src/Potato/Flow/Controller/Handler.hs
--- a/src/Potato/Flow/Controller/Handler.hs
+++ b/src/Potato/Flow/Controller/Handler.hs
@@ -80,13 +80,6 @@
     -- superOwlParliament_convertToCanvasSelection
   }
 
-type ColorType = ()
-data SimpleBoxHandlerRenderOutput = SimpleBoxHandlerRenderOutput {
-    _simpleBoxHandlerRenderOutput_box             :: LBox
-    , _simpleBoxHandlerRenderOutput_fillText      :: Maybe PChar -- fills the entire box with the same char
-    , _simpleBoxHandlerRenderOutput_fillTextColor :: ColorType
-    , _simpleBoxHandlerRenderOutput_bgColor       :: ColorType
-  }
 
 -- TODO remove renaming and move it into LayersHandlerRenderEntry
 data LayersHandlerRenderEntrySelectedState = LHRESS_ChildSelected | LHRESS_Selected | LHRESS_InheritSelected | LHRESS_None deriving (Show, Eq)
@@ -123,7 +116,7 @@
       _layersViewHandlerRenderOutput_entries = Seq.empty
     }
 
-data RenderHandleColor = RHC_Default | RHC_Attachment | RHC_AttachmentHighlight deriving (Show, Eq)
+data RenderHandleColor = RHC_Default | RHC_Cursor | RHC_Attachment | RHC_AttachmentHighlight deriving (Show, Eq)
 
 -- TODO come up with better name
 data RenderHandle = RenderHandle {
@@ -228,7 +221,6 @@
   pRefreshHandler _ _ = Nothing
 
   
-  -- TODO change this to an enum so you can capture different notion of activeness
   -- active manipulators will not be overwritten by new handlers via selection from changes
   pIsHandlerActive :: h -> HandlerActiveState
   pIsHandlerActive _ = HAS_Inactive
diff --git a/src/Potato/Flow/Controller/Manipulator/Box.hs b/src/Potato/Flow/Controller/Manipulator/Box.hs
--- a/src/Potato/Flow/Controller/Manipulator/Box.hs
+++ b/src/Potato/Flow/Controller/Manipulator/Box.hs
@@ -414,7 +414,11 @@
         else if isTextArea
           && (wasNotActuallyDragging || isCreation)
           && wasNotDragSelecting
-          then textAreaHandler_pHandleMouse_onCreation (makeTextAreaHandler (SomePotatoHandler (def :: BoxHandler)) _potatoHandlerInput_canvasSelection rmd isCreation) phi rmd
+          then let 
+            tah = makeTextAreaHandler (SomePotatoHandler (def :: BoxHandler)) _potatoHandlerInput_canvasSelection rmd isCreation in
+              if isCreation
+                then textAreaHandler_pHandleMouse_onCreation tah phi rmd
+                else pHandleMouse tah phi rmd
 
           -- This clears the handler and causes selection to regenerate a new handler.
           -- Why do we do it this way instead of returning a handler? Not sure, doesn't matter.
@@ -465,11 +469,34 @@
 
   pRenderHandler BoxHandler {..} PotatoHandlerInput {..} = r where
     handlePoints = fmap _mouseManipulator_box . filter (\mm -> _mouseManipulator_type mm == MouseManipulatorType_Corner) $ toMouseManipulators _potatoHandlerInput_pFState _potatoHandlerInput_canvasSelection
+
+    {-- 
+    -- kind of a hack to put this here, since BoxHandler is generic, but that's how it has to be for now since BoxHandler is also kind of not generic
+    -- I guess in the future you might have more specific handlers for each type of owl in which case you can do the thing where the specific handler also has a ref to BoxHandler and you render both (you did this with the text handler already)
+    -- TODO and this is an issue becaues you don't want to show the box label handler when you are editing the box label 
+    mBoxLabelHandler = case selectionOnlySBox _potatoHandlerInput_canvasSelection of
+      Nothing -> Nothing
+      Just sbox -> if sBoxType_hasBorder (_sBox_boxType sbox)
+        then if w > 1
+          then Just $ RenderHandle {
+              _renderHandle_box = LBox (V2 (x+1) y) (V2 1 1)
+              , _renderHandle_char  = Just 'I'
+              , _renderHandle_color = RHC_Cursor
+            } 
+          else Nothing 
+        else Nothing
+        where (LBox (V2 x y) (V2 w h)) = _sBox_box sbox
+
+    mcons :: Maybe a -> [a] -> [a]
+    mcons ma as = maybe as (:as) ma
+    --}
+
     -- TODO highlight active manipulator if active
     --if (_boxHandler_active)
     r = if not _boxHandler_active && boxCreationType_isCreation _boxHandler_creation
       -- don't render anything if we are about to create a box
       then emptyHandlerRenderOutput
+      --else HandlerRenderOutput (mcons mBoxLabelHandler $ fmap defaultRenderHandle handlePoints)
       else HandlerRenderOutput (fmap defaultRenderHandle handlePoints)
       
   pIsHandlerActive bh = if _boxHandler_active bh then HAS_Active_Mouse else HAS_Inactive
diff --git a/src/Potato/Flow/Controller/Manipulator/Line.hs b/src/Potato/Flow/Controller/Manipulator/Line.hs
--- a/src/Potato/Flow/Controller/Manipulator/Line.hs
+++ b/src/Potato/Flow/Controller/Manipulator/Line.hs
@@ -493,9 +493,7 @@
   newmidpoints =  L.insertAt mpindex (SAutoLineConstraintFixed pos) (_sAutoLine_midpoints sline)
 
 
-  -- TODO update line label position
-
-
+  -- TODO update line label position (whether you adjust index will depend on the position relative to where midpoint is added, right now we always assume label is to the left)
   fmapfn ll = if _sAutoLineLabel_index ll > mpindex
     then ll { _sAutoLineLabel_index = _sAutoLineLabel_index ll + 1}
     else ll
@@ -523,8 +521,8 @@
 sAutoLine_deleteMidpoint :: Int -> SAutoLine -> SAutoLine
 sAutoLine_deleteMidpoint mpindex sline = r where
   newmidpoints =  L.deleteAt mpindex (_sAutoLine_midpoints sline)
-  -- TODO update line label position
-  fmapfn ll = if _sAutoLineLabel_index ll >= mpindex
+  -- TODO update line label position (whether you adjust index will depend on the position relative to where midpoint is added, right now we always assume label is to the left)
+  fmapfn ll = if _sAutoLineLabel_index ll > mpindex
     then ll { _sAutoLineLabel_index = _sAutoLineLabel_index ll - 1}
     else ll
   newlabels = fmap fmapfn (_sAutoLine_labels sline)
diff --git a/src/Potato/Flow/Controller/Manipulator/TextArea.hs b/src/Potato/Flow/Controller/Manipulator/TextArea.hs
--- a/src/Potato/Flow/Controller/Manipulator/TextArea.hs
+++ b/src/Potato/Flow/Controller/Manipulator/TextArea.hs
@@ -140,5 +140,4 @@
       }
     r = pRenderHandler (_textAreaHandler_prevHandler tah) phi <>  HandlerRenderOutput [cursor]
 
-  -- TODO track mouse activity
-  pIsHandlerActive _ = HAS_Inactive
+  pIsHandlerActive _ = HAS_Active_Waiting
diff --git a/src/Potato/Flow/Controller/Manipulator/TextInputState.hs b/src/Potato/Flow/Controller/Manipulator/TextInputState.hs
--- a/src/Potato/Flow/Controller/Manipulator/TextInputState.hs
+++ b/src/Potato/Flow/Controller/Manipulator/TextInputState.hs
@@ -85,7 +85,7 @@
           _renderHandle_box = LBox (p + (V2 x y)) (V2 1 1)
           , _renderHandle_char =  case mCursorChar of
             Nothing -> Just ' '
-            x -> x
+            jc -> jc
           , _renderHandle_color = RHC_Default
         }
     return [cursorh]
diff --git a/src/Potato/Flow/Controller/OwlLayers.hs b/src/Potato/Flow/Controller/OwlLayers.hs
--- a/src/Potato/Flow/Controller/OwlLayers.hs
+++ b/src/Potato/Flow/Controller/OwlLayers.hs
@@ -25,7 +25,12 @@
 import qualified Data.Text as T
 import qualified Text.Show
 
-data LockHiddenState = LHS_True | LHS_False | LHS_True_InheritTrue | LHS_False_InheritTrue deriving (Eq, Show)
+data LockHiddenState = 
+  LHS_True -- locked/hidden 
+  | LHS_False -- not locked/hidden
+  | LHS_True_InheritTrue -- locked/hidden and has locked/hidden parent
+  | LHS_False_InheritTrue -- not locked/hidden and has locked/hidden parent 
+  deriving (Eq, Show)
 
 lockHiddenStateToBool :: LockHiddenState -> Bool
 lockHiddenStateToBool = \case
@@ -52,24 +57,27 @@
 updateLockHiddenStateInChildren :: LockHiddenState -> LockHiddenState -> LockHiddenState
 updateLockHiddenStateInChildren parentstate = \case
   LHS_False -> case parentstate of
-    LHS_True  -> LHS_False_InheritTrue
-    LHS_False -> LHS_False
-    _         -> invalid
+    LHS_True              -> LHS_False_InheritTrue
+    LHS_False             -> LHS_False
+    LHS_True_InheritTrue  -> LHS_False_InheritTrue
+    LHS_False_InheritTrue -> LHS_False_InheritTrue
   LHS_True -> case parentstate of
-    LHS_True  -> LHS_True_InheritTrue
-    LHS_False -> LHS_True
-    _         -> invalid
+    LHS_True              -> LHS_True_InheritTrue
+    LHS_False             -> LHS_True
+    LHS_True_InheritTrue  -> LHS_True_InheritTrue
+    LHS_False_InheritTrue -> LHS_True_InheritTrue
   LHS_True_InheritTrue -> case parentstate of
-    LHS_False -> LHS_True
-    LHS_True  -> LHS_True_InheritTrue
-    _         -> invalid
+    LHS_True              -> LHS_True_InheritTrue
+    LHS_False             -> LHS_True
+    LHS_True_InheritTrue  -> LHS_True_InheritTrue
+    LHS_False_InheritTrue -> LHS_True_InheritTrue
   LHS_False_InheritTrue -> case parentstate of
-    LHS_False -> LHS_False
-    LHS_True  -> LHS_False_InheritTrue
-    _         -> invalid
-  where
-    invalid = error "toggling of LHS_XXX_InheritTrue elements disallowed"
+    LHS_True              -> LHS_False_InheritTrue
+    LHS_False             -> LHS_False
+    LHS_True_InheritTrue  -> LHS_False_InheritTrue
+    LHS_False_InheritTrue -> LHS_False_InheritTrue
 
+
 -- TODO be careful with hidden cost of Eq SuperOwl
 -- this stores info just for what is displayed, Seq LayerEntry is uniquely generated from LayerMetaMap and PFState
 data LayerEntry = LayerEntry {
@@ -215,10 +223,8 @@
   togglefn fn setlmfn setlefn = (LayersState newlmm newlentries 0) where
     newlhsstate = toggleLockHiddenState $ fn le
     newlmm = alterWithDefault (\lm' -> setlmfn lm' (lockHiddenStateToBool newlhsstate)) lerid _layersState_meta
-    entryfn childle = setlefn childle $ updateLockHiddenStateInChildren newlhsstate (fn childle)
-    newchildles = doChildrenRecursive (lockHiddenStateToBool . fn) entryfn childles
-    newle = setlefn le newlhsstate
-    newlentries = (frontOfLe |> newle) >< newchildles >< backOfChildles
+    -- TODO switch this to update only what needs to be updated (well you should store layer entries as a tree instead)
+    newlentries = generateLayersNew _owlPFState_owlTree newlmm
 
   r = case op of
     LHCO_ToggleCollapse -> (LayersState newlmm newlentries 0) where
diff --git a/src/Potato/Flow/DebugHelpers.hs b/src/Potato/Flow/DebugHelpers.hs
--- a/src/Potato/Flow/DebugHelpers.hs
+++ b/src/Potato/Flow/DebugHelpers.hs
@@ -48,4 +48,6 @@
 
 
 debugBangBang :: (HasCallStack) => [a] -> Int -> a
-debugBangBang l i = assert (i >=0 && i < length l) (l L.!! i)
+debugBangBang l i = if (i >=0 && i < length l)
+  then (l L.!! i)
+  else error $ "debugBangBang: index " <> show i <> " out of bounds in list of length " <> show (length l)
diff --git a/test/Potato/Flow/Controller/Manipulator/BoxSpec.hs b/test/Potato/Flow/Controller/Manipulator/BoxSpec.hs
--- a/test/Potato/Flow/Controller/Manipulator/BoxSpec.hs
+++ b/test/Potato/Flow/Controller/Manipulator/BoxSpec.hs
@@ -53,6 +53,9 @@
             then Nothing 
             else Just $ "got text " <> show (_sBox_text sbox) <> " expected " <> t
 
+
+
+
 initSimpleBox :: GoatTester ()
 initSimpleBox = drawCanvasBox (0, 0, 100, 100)
 
@@ -116,6 +119,21 @@
   setMarker "write some text"
   pressKeys "meow meow meow meow"
   verifyMostRecentlyCreatedBoxHasText (Just "meow meow meow meow")
+
+
+manipulator_basic_test :: Spec
+manipulator_basic_test = hSpecGoatTesterWithOwlPFState emptyOwlPFState $ do
+
+  setMarker "draw a box"
+  drawCanvasBox (0, 0, 100, 100)
+
+  handlers <- fmap _handlerRenderOutput_temp getHandlerRenderOutput
+
+  verifyBool "has 5 handlers" (length handlers == 5)
+  verifyBool "has handler at upper left corner" (any (\(RenderHandle (LBox (V2 x y) _) _ _) -> x == (-1) && y == (-1)) handlers)
+  --verifyBool "has handler on label" (any (\(HandlerRenderOutput (LBox (V2 x y) _) _ _) -> x == 1 && y == 0) handlers)
+  verifyBool "has handler on the box area" (any (\(RenderHandle (LBox (V2 x y) (V2 w h)) _ _) -> x == 1 && y == 1 && w == 98 && h == 98) handlers)
+
 
 
 spec :: Spec
diff --git a/test/Potato/Flow/Controller/Manipulator/LayersSpec.hs b/test/Potato/Flow/Controller/Manipulator/LayersSpec.hs
--- a/test/Potato/Flow/Controller/Manipulator/LayersSpec.hs
+++ b/test/Potato/Flow/Controller/Manipulator/LayersSpec.hs
@@ -63,7 +63,28 @@
 verifyNthEntryInLayersHasDepth :: Int -> Int -> GoatTester()
 verifyNthEntryInLayersHasDepth n d = verifyNthEntryInLayersPropertyIs n layerEntry_depth d
 
+{--
+verifySelectionIsOped :: LayerMouseOp -> Bool -> GoatTester ()
+verifySelectionIsOped lmo oped = r_0 where
+  verb = if oped then "" else "not"
+  operation = case lmo of
+    LMO_Hide -> "hidden"
+    LMO_Lock -> "locked"
+    _ -> error "unsupported operation"
 
+  vf s = r_1 where
+    otree = goatState_owlTree s
+    lmm = _layersState_meta . _goatState_layersState $ s
+    selection = _layersState_selection . _goatState_layersState $ s
+    r_1 = if nselection /= 1
+      then Just $ "failed, expected 1 selected 🦉, got " <> show nselection
+      else if layerMetaMap_isInheritHiddenOrLocked otree (_superOwl_id $ Seq.index selection 0) lmm == oped
+        then Nothing
+        else Just $ "failed, expected selected 🦉 to be " <> verb <> " " <> operation <> ", got " <> show (layerMetaMap_isInheritHiddenOrLocked otree (_superOwl_id $ Seq.index selection 0) lmm)
+  
+  r_0 = verifysState ("selection is " <> verb <> " " <> operation) vf
+--}
+
 create_select_test :: Spec
 create_select_test = hSpecGoatTesterWithOwlPFState emptyOwlPFState $ do
 
@@ -260,6 +281,36 @@
   canvasMouseDownUp (5,5)
   verifySelectionCount 1
 
+lock_or_hide_depth_test :: LayerMouseOp -> Spec
+lock_or_hide_depth_test lmo = hSpecGoatTesterWithOwlPFState emptyOwlPFState $ do
+  setMarker "make a chain of folders"
+  addFolder "1"
+  addFolder "2"
+  addFolder "3"
+  addFolder "4"
+  addFolder "5"
+  addFolder "6"
+  addFolder "7"
+
+  setMarker "op the top folder"
+  layerMouseDownUpRel lmo 0 0
+
+  setMarker "op the 4th folder"
+  layerMouseDownUpRel lmo 3 3
+
+  setMarker "op the top folder"
+  layerMouseDownUpRel lmo 0 0
+  -- TODO verify that the 4th folder is not oped
+  
+  setMarker "op the 4th folder"
+  layerMouseDownUpRel lmo 3 3
+  -- TODO verify thot the 4th folder is oped
+
+
+  
+
+
+
 drag_folder_test :: Spec
 drag_folder_test = hSpecGoatTesterWithOwlPFState emptyOwlPFState $ do
   setMarker "create a folder"
@@ -443,6 +494,8 @@
 
 
 
+
+
 spec :: Spec
 spec = do
   describe "Layers" $ do
@@ -455,6 +508,8 @@
     describe "folder_collapse_test" $ folder_collapse_test
     describe "lock_or_hide_select_test hide" $ lock_or_hide_select_test LMO_Hide
     describe "lock_or_hide_select_test lock" $ lock_or_hide_select_test LMO_Lock
+    describe "lock_or_hide_depth_test hide" $ lock_or_hide_depth_test LMO_Hide
+    describe "lock_or_hide_depth_test lock" $ lock_or_hide_depth_test LMO_Lock
     describe "drag_folder_test" $ drag_folder_test
     describe "drag_folder2_test" $ drag_folder2_test
     describe "drag_folder_depth_test" $ drag_folder_depth_test
diff --git a/test/Potato/Flow/Controller/Manipulator/LineSpec.hs b/test/Potato/Flow/Controller/Manipulator/LineSpec.hs
--- a/test/Potato/Flow/Controller/Manipulator/LineSpec.hs
+++ b/test/Potato/Flow/Controller/Manipulator/LineSpec.hs
@@ -217,7 +217,44 @@
   canvasMouseDown (50, 2)
   expectMidpointCount 3
 
+midpoint_delete_with_label_test :: Spec
+midpoint_delete_with_label_test = hSpecGoatTesterWithOwlPFState blankOwlPFState $ do
 
+  initSimpleLine
+
+  setMarker "add a midpoint"
+  canvasMouseDown (50, 0)
+  canvasMouseDown (55, 0)
+  canvasMouseUp (55, 0)
+  expectMidpointCount 1
+
+  setMarker "add a label"
+  canvasMouseDownUp (25,0)
+  pressKeys "meow"
+  verifyMostRecentlyCreatedLinesLatestLineLabelHasText "meow"
+
+  setMarker "delete the midpoint by going left"
+  canvasMouseDown (55, 0)
+  canvasMouseDownUp (0, 0)
+  expectMidpointCount 0
+  verifyMostRecentlyCreatedLinesLatestLineLabelHasText "meow"
+
+  setMarker "add a midpoint"
+  canvasMouseDown (50, 0)
+  canvasMouseDown (55, 0)
+  canvasMouseUp (55, 0)
+  expectMidpointCount 1
+  verifyMostRecentlyCreatedLinesLatestLineLabelHasText "meow"
+
+  setMarker "delete the midpoint by going right"
+  canvasMouseDown (55, 0)
+  canvasMouseDownUp (100, 0)
+  expectMidpointCount 0
+  verifyMostRecentlyCreatedLinesLatestLineLabelHasText "meow"
+
+
+
+
 initUnitBox :: (Int, Int) -> GoatTester ()
 initUnitBox (x, y) = do
   setMarker "draw a 1x1 box"
@@ -564,6 +601,7 @@
     describe "basic_cancel" $ basic_cancel_test
     describe "midpoint_modify_basic" $  midpoint_modify_basic_test
     describe "midpoint_double_adjacent_delete" $  midpoint_double_adjacent_delete_test
+    describe "midpoint_delete_with_label_test" $  midpoint_delete_with_label_test
     describe "attaching_delete_test" $ attaching_delete_test
     -- TODO reenable once you fix the issue in Box.hs -- THE REASON YOU DID THIS IS TO PREVENT FULLY ATTACHED LINES FROM BEING MOVED
     --describe "attaching_fully_attached_wont_move_test" $ attaching_fully_attached_wont_move_test
diff --git a/test/Potato/Flow/Controller/Manipulator/TestHelpers.hs b/test/Potato/Flow/Controller/Manipulator/TestHelpers.hs
--- a/test/Potato/Flow/Controller/Manipulator/TestHelpers.hs
+++ b/test/Potato/Flow/Controller/Manipulator/TestHelpers.hs
@@ -57,3 +57,8 @@
   Right o1 -> case g o1 of
     Left e -> Left e
     Right o2 -> Right (o1, o2)
+
+
+
+emptyOwlStateWithSize :: (Int, Int) -> OwlPFState
+emptyOwlStateWithSize (x, y) = OwlPFState emptyOwlTree (SCanvas (LBox 0 (V2 x y)))
diff --git a/test/Potato/Flow/Deprecated/Controller/Manipulator/TextAreaSpec.hs b/test/Potato/Flow/Deprecated/Controller/Manipulator/TextAreaSpec.hs
--- a/test/Potato/Flow/Deprecated/Controller/Manipulator/TextAreaSpec.hs
+++ b/test/Potato/Flow/Deprecated/Controller/Manipulator/TextAreaSpec.hs
@@ -25,6 +25,7 @@
   SEltTextArea (STextArea _ tm _) -> Map.lookup k tm == Just c
   _                                         -> False
 
+-- TODO DELTEE This isn't even testingh TextArea
 test_basic :: Test
 test_basic = constructTest "basic" emptyOwlPFState bs expected where
   bs = [
diff --git a/test/Potato/Flow/GoatTester.hs b/test/Potato/Flow/GoatTester.hs
--- a/test/Potato/Flow/GoatTester.hs
+++ b/test/Potato/Flow/GoatTester.hs
@@ -186,6 +186,11 @@
   gts <- get
   return $ _goatState_layersState $ _goatTesterState_goatState gts
 
+getHandlerRenderOutput :: (Monad m) => GoatTesterT m HandlerRenderOutput
+getHandlerRenderOutput = GoatTesterT $ do
+  gs <- fmap _goatTesterState_goatState get
+  return $ pRenderHandler (_goatState_handler gs) (potatoHandlerInputFromGoatState gs)
+
 -- operation helpers
 
 setTool :: (Monad m) => Tool -> GoatTesterT m ()
@@ -360,6 +365,15 @@
     OwlSubItemLine sline -> f sline
     x                      -> Just $ "expected SAutoLine got: " <> show x
 
+
+verifyCanvasHandler :: (Monad m) => Text -> GoatTesterT m ()
+verifyCanvasHandler hname = verifyState "verifyCanvasHandler" f where
+  f gs = r where
+    h = _goatState_handler gs
+    r = if hname == pHandlerName h
+      then Nothing
+      else Just $ "expected " <> hname <> "got handler " <> pHandlerName h 
+
 verifySelectionIsAndOnlyIs :: (Monad m) => Text -> (SuperOwl -> Maybe Text) -> GoatTesterT m ()
 verifySelectionIsAndOnlyIs desc f = verifyState desc f' where
   f' gs = r where
@@ -369,8 +383,6 @@
     r = if nselection /= 1
       then Just $ "failed, expected 1 selected 🦉, got " <> show nselection
       else (\m -> "failed with message: " <> m <> "\ngot:\n" <> potatoShow (_superOwl_elt sowl)) <$> f sowl
-
-
 
 verifyRenderNonEmptyCount :: (Monad m) => Int -> GoatTesterT m ()
 verifyRenderNonEmptyCount expected = verifyState "verifyRenderNonEmptyCount" f where
diff --git a/test/Potato/Flow/Methods/SEltMethodsSpec.hs b/test/Potato/Flow/Methods/SEltMethodsSpec.hs
--- a/test/Potato/Flow/Methods/SEltMethodsSpec.hs
+++ b/test/Potato/Flow/Methods/SEltMethodsSpec.hs
@@ -47,7 +47,8 @@
               , _sBox_superStyle = testsstyle
             }
           somesbox4 style = def {
-              _sBox_box       = LBox 0 (V2 10 10)
+              -- fails at width 10 in ghc 9.4 or 9.6, will pass if width is wider
+              _sBox_box       = LBox 0 (V2 20 10)
               , _sBox_text    = def {
                   _sBoxText_text = "ｔｈｅｒｅ　ａｒｅ　ｎｏ　ｓｐａｃｅ　ｂｅｔｗｅｅｎ　ａｄｊａｃｅｎｔ　ｃｈａｒａｃｔｅｒｓ"
                   , _sBoxText_style = TextStyle TextAlign_Left
@@ -89,10 +90,12 @@
             sd = getDrawerFromSEltForTest (SEltBox (somesbox3 SBoxType_NoBoxText))
           --forM_ (sEltDrawer_renderToLines sd emptyOwlTree) putTextLn
           renderfn sd (V2 0 0) `shouldBe` Just '@'
+
+        -- this one is very weird, it's width dependent after ghc 9.4 or 9.6, starts rendering weird characters... doesn't really make sense to me. 
         it "SBoxType_NoBoxText_widechar" $ do
           let
             sd = getDrawerFromSEltForTest (SEltBox (somesbox4 SBoxType_NoBoxText))
-          --forM_ (sEltDrawer_renderToLines sd emptyOwlTree) putTextLn
+          forM_ (sEltDrawer_renderToLines sd emptyOwlTree) putTextLn
           renderfn sd (V2 0 0) `shouldBe` Just 'ｔ'
           renderfn sd (V2 1 0) `shouldBe` Nothing
           renderfn sd (V2 2 0) `shouldBe` Just 'ｈ'
diff --git a/test/Potato/Flow/RenderSpec.hs b/test/Potato/Flow/RenderSpec.hs
--- a/test/Potato/Flow/RenderSpec.hs
+++ b/test/Potato/Flow/RenderSpec.hs
@@ -170,10 +170,6 @@
       -- TODO test something
       canvas1 `shouldBe` canvas1
 
-
-emptyOwlStateWithSize :: (Int, Int) -> OwlPFState
-emptyOwlStateWithSize (x, y) = OwlPFState emptyOwlTree (SCanvas (LBox 0 (V2 x y)))
-
 render_basic :: Spec
 render_basic = hSpecGoatTesterWithOwlPFState (emptyOwlStateWithSize (20,20)) $ do
 
diff --git a/tinytools.cabal b/tinytools.cabal
--- a/tinytools.cabal
+++ b/tinytools.cabal
@@ -1,8 +1,8 @@
 cabal-version: 1.12
 
 name:           tinytools
-version:        0.1.0.6
-description:    tinytools is a mono-space unicode diagram editor
+version:        0.1.0.7
+description:    tinytools is a mono-space unicode diagram editor library, tinytools is only the model and controller. See tinytools-vty for a terminal based view frontend.
 homepage:       https://github.com/minimapletinytools/tinytools#readme
 bug-reports:    https://github.com/minimapletinytools/tinytools/issues
 author:         minimaple
@@ -17,7 +17,7 @@
     README.md
     ChangeLog.md
 
-Tested-With: GHC ==9.2.5
+Tested-With: GHC ==9.2.5 || ==9.6.2
 
 source-repository head
   type: git
@@ -116,39 +116,39 @@
       NoImplicitPrelude
   ghc-options: -Wall -Wcompat -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints -fno-ignore-asserts
   build-depends:
-    aeson
-    , aeson-pretty
-    , base >=4.7 && <5
-    , bimap
-    , binary
-    , bytestring
-    , constraints-extras
-    , containers
-    , data-default
-    , data-ordlist
-    , deepseq
-    , dependent-map
-    , dependent-sum
-    , dependent-sum-template
-    , extra
-    , ilist
-    , lens
-    , linear
-    , mtl
-    , pretty-simple
-    , ref-tf
+    base >=4.7 && <5
+    , relude >= 1.2.1 && < 1.3
     , reflex >= 0.9.2 && < 1
-    , reflex-potatoes >=0.1
-    , reflex-test-host >=0.1.2.3
-    , relude
-    , semialign
-    , text
-    , text-icu
-    , these
-    , vector
-    , vty
-    , filepath
-    --, uuid
+    , reflex-potatoes >= 0.1.0 && < 0.2
+    , reflex-test-host >= 0.1.2.3 && < 0.2
+    , aeson >= 2.1.2 && < 2.2
+    , deepseq >= 1.4.8 && < 1.5
+    , containers >= 0.6.7 && < 0.7
+    , bytestring >= 0.11.4 && < 0.12
+    , mtl >= 2.3.1 && < 2.4
+    , binary >= 0.8.9 && < 0.9
+    , filepath >= 1.4.100 && < 1.5
+    , text >= 2.0.2 && < 2.1
+    , semialign >= 1.3 && < 1.4
+    , vector >= 0.13.1 && < 0.14
+    , these >= 1.2 && < 1.3
+    , aeson-pretty >= 0.8.10 && < 0.9
+    , bimap >= 0.5.0 && < 0.6
+    , constraints-extras >= 0.4.0 && < 0.5
+    , data-default >= 0.7.1 && < 0.8
+    , data-ordlist >= 0.4.7 && < 0.5
+    , dependent-map >= 0.4.0 && < 0.5
+    , dependent-sum >= 0.7.2 && < 0.8
+    , dependent-sum-template >= 0.2.0 && < 0.3
+    , extra >= 1.7.14 && < 1.8
+    , ilist >= 0.4.0 && < 0.5
+    , lens >= 5.2.3 && < 5.3
+    , linear >= 1.22 && < 1.23
+    , pretty-simple >= 4.1.2 && < 4.2
+    , ref-tf >= 0.5.0 && < 0.6
+    , text-icu >= 0.8.0 && < 0.9
+    , vty>=5.28 && <5.39
+
   default-language: Haskell2010
 
 test-suite tinytools-test
@@ -226,39 +226,20 @@
       NoImplicitPrelude
   ghc-options: -Wall -Wcompat -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N -fno-ignore-asserts
   build-depends:
-      HUnit
-    , aeson
-    , base >=4.7 && <5
-    , bimap
-    , binary
-    , bytestring
-    , constraints-extras
-    , containers
-    , data-default
-    , data-ordlist
-    , deepseq
-    , dependent-map
-    , dependent-sum
-    , dependent-sum-template
-    , extra
+    base >=4.7 && <5
+    , HUnit
     , hspec
     , hspec-contrib
-    , ilist
-    , lens
-    , linear
-    , mtl
-    , pretty-simple
-    , ref-tf
+    , relude >= 1.2.1 && < 1.3
     , reflex >= 0.9.2 && < 1
-    , reflex-potatoes >=0.1
-    , reflex-test-host >=0.1.2.3
-    , relude
-    , semialign
-    , text
-    , text-icu
-    , these
+    , reflex-test-host >= 0.1.2.3 && < 0.2
     , tinytools
-    , vector
-    , vty
+    , extra >= 1.7.14 && < 1.8
+    , data-default >= 0.7.1 && < 0.8
+    , containers >= 0.6.7 && < 0.7
+    , these >= 1.2 && < 1.3
+    , dependent-sum >= 0.7.2 && < 0.8
+    , vector >= 0.13.1 && < 0.14
+    , data-ordlist >= 0.4.7 && < 0.5
   build-tool-depends: hspec-discover:hspec-discover
   default-language: Haskell2010