An experiment in tree-based interaction
The previous layout depended on txtWrap being greedy, but not taking up all available horizontal space. That behaviour is incorrect according to the definition of greedy widgets, which have to take up all available horizontal space. In brick 0.52, this behaviour has been partially fixed. The padRight function added in this commit emulates the correct txtWrap behaviour even for cases where txtWrap has not been fixed yet. If txtWrap is fixed entirely, the padRight can be removed again. |
||
|---|---|---|
| client | ||
| docs | ||
| server | ||
| src/Forest | ||
| .gitignore | ||
| CHANGELOG.md | ||
| LICENSE | ||
| package.yaml | ||
| README.md | ||
| Setup.hs | ||
| stack.yaml | ||
| stack.yaml.lock | ||