ui: ensure more consistent quiet style in horizontal borders (#838)
This commit is contained in:
		
							parent
							
								
									cf9eb78ad2
								
							
						
					
					
						commit
						f10f9b6a17
					
				| @ -74,7 +74,7 @@ themesList = [ | ||||
|               (borderAttr <> "bold", white `on` black & bold), | ||||
|               (borderAttr <> "query", cyan `on` black & bold), | ||||
|               (borderAttr <> "depth", yellow `on` black & bold), | ||||
|               (borderAttr <> "keys", black `on` white & bold),   | ||||
| --              (borderAttr <> "keys", black `on` white & bold),   | ||||
|               (borderAttr <> "minibuffer", white `on` black & bold), | ||||
|               -- ("normal"                , black `on` white), | ||||
|               ("list"                  , black `on` white),      -- regular list items | ||||
|  | ||||
| @ -221,11 +221,11 @@ topBottomBorderWithLabels toplabel bottomlabel body = | ||||
|           "" | ||||
|           -- "  debug: "++show (_w,h') | ||||
|     render $ | ||||
|       hBorderWithLabel (toplabel <+> str debugmsg) | ||||
|       hBorderWithLabel (withAttr borderAttr $ toplabel <+> str debugmsg) | ||||
|       <=> | ||||
|       body' | ||||
|       <=> | ||||
|       hBorderWithLabel bottomlabel | ||||
|       hBorderWithLabel (withAttr borderAttr bottomlabel) | ||||
| 
 | ||||
| ---- XXX should be equivalent to the above, but isn't (page down goes offscreen) | ||||
| --_topBottomBorderWithLabel2 :: Widget Name -> Widget Name -> Widget Name | ||||
|  | ||||
		Loading…
	
		Reference in New Issue
	
	Block a user