Making strict widgets greedy about brick HOT 4 CLOSED

The hSize field of a Widget just describes the behavior of that widget rather than configuring its behavior, so setting it will only change how containers behave when rendering that widget. To actually get the behavior you want, you need to compose your string with a fill or pad operation so that extra spaces are rendered. You're on the right track with hLimit, though - that (in effect) takes a greedy widget and makes it fixed, both by setting the hSize and by cropping the resulting limited widget. Does that make sense?

Here is a way to do what you described. Assuming you have a list with element type (Int, String) as depicted above, here is what your list item draw function would look like (without logic for handling the selection since I'm only trying to illustrate the widget composition):

drawElem :: Bool -> (Int, String) -> Widget
drawElem _sel (i, s) =
  -- The integer portion
  let intPart = str $ show i
      -- The integer portion, padded (so it is now "greedy")
      intPartGreedy = padRight Max intPart
      -- The width-limited integer portion
      intPartFixed = hLimit 10 intPartGreedy
      -- The string portion
      strPart = str s
      -- The whole thing
      final = intPartFixed <+> strPart
  -- Finally, we right-pad the whole thing so as to make the cursor
  -- attribute go all the way to the right hand side of the list.
  in padRight Max final

from brick.

Thanks, I missed the Max Constructor for Padding. How does Pad Int work, though? It looks to me like it simply adds spaces to the end.

from brick.

Yes, you have it right. The integer argument specifies the number of rows or columns to pad.

On Nov 29, 2015, at 8:58 AM, Profpatsch [email protected] wrote:

Thanks, I missed the Max Constructor for Padding. How does Pad Int work, though? It looks to me like it simply adds spaces to the end.

—
Reply to this email directly or view it on GitHub.

from brick.

If you decide that this approach works for you, please close the issue (or let me know what else I can do to help).

from brick.