ui: use same filter style for depth limit
This commit is contained in:
		
							parent
							
								
									cc8180b295
								
							
						
					
					
						commit
						b017426812
					
				@ -91,7 +91,7 @@ borderQueryStr qry = str " matching " <+> withAttr (borderAttr <> "query") (str
 | 
				
			|||||||
 | 
					
 | 
				
			||||||
borderDepthStr :: Maybe Int -> Widget
 | 
					borderDepthStr :: Maybe Int -> Widget
 | 
				
			||||||
borderDepthStr Nothing  = str ""
 | 
					borderDepthStr Nothing  = str ""
 | 
				
			||||||
borderDepthStr (Just d) = str " to " <+> withAttr (borderAttr <> "depth") (str $ "depth "++show d)
 | 
					borderDepthStr (Just d) = str " to " <+> withAttr (borderAttr <> "query") (str $ "depth "++show d)
 | 
				
			||||||
 | 
					
 | 
				
			||||||
borderKeysStr :: [(String,String)] -> Widget
 | 
					borderKeysStr :: [(String,String)] -> Widget
 | 
				
			||||||
borderKeysStr keydescs =
 | 
					borderKeysStr keydescs =
 | 
				
			||||||
 | 
				
			|||||||
		Loading…
	
		Reference in New Issue
	
	Block a user