Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

navigable robots table #2140

Merged
merged 18 commits into from
Sep 17, 2024
Merged

navigable robots table #2140

merged 18 commits into from
Sep 17, 2024

Commits on Sep 14, 2024

  1. navigable table

    @kostmo
    kostmo committed Sep 14, 2024
    Configuration menu
    Copy the full SHA
    b75438e View commit details
    Browse the repository at this point in the history

  2. cleanups

    @kostmo
    kostmo committed Sep 14, 2024
    Configuration menu
    Copy the full SHA
    db135d8 View commit details
    Browse the repository at this point in the history

  3. use applyJust/applyWhen more

    @kostmo
    kostmo committed Sep 14, 2024
    Configuration menu
    Copy the full SHA
    93fd1a5 View commit details
    Browse the repository at this point in the history

  4. preserve re-export of Name

    @kostmo
    kostmo committed Sep 14, 2024
    Configuration menu
    Copy the full SHA
    8f8f87a View commit details
    Browse the repository at this point in the history

  5. explicit export list for Swarm.TUI.View.Robot

    @kostmo
    kostmo committed Sep 14, 2024
    Configuration menu
    Copy the full SHA
    ba1d997 View commit details
    Browse the repository at this point in the history

  6. add module docstring

    @kostmo
    kostmo committed Sep 14, 2024
    Configuration menu
    Copy the full SHA
    9a300a8 View commit details
    Browse the repository at this point in the history

  7. rename _rob lens to _robot

    @kostmo
    kostmo committed Sep 14, 2024
    Configuration menu
    Copy the full SHA
    19469cf View commit details
    Browse the repository at this point in the history

  8. rename _rPayload lens to _row

    @kostmo
    kostmo committed Sep 14, 2024
    Configuration menu
    Copy the full SHA
    a37214a View commit details
    Browse the repository at this point in the history

  9. comment on and rename padWidth

    @kostmo
    kostmo committed Sep 14, 2024
    Configuration menu
    Copy the full SHA
    f771ade View commit details
    Browse the repository at this point in the history

  10. remove orphan Semigroup instance

    @kostmo
    kostmo committed Sep 14, 2024
    Configuration menu
    Copy the full SHA
    1df475b View commit details
    Browse the repository at this point in the history

  11. Add instructions for Tab control

    @kostmo
    kostmo committed Sep 14, 2024
    Configuration menu
    Copy the full SHA
    a263b11 View commit details
    Browse the repository at this point in the history

  12. rename 'RobotRow' fields

    @kostmo
    kostmo committed Sep 14, 2024
    Configuration menu
    Copy the full SHA
    e7101b5 View commit details
    Browse the repository at this point in the history

  13. add comment to ColumnExpansion

    @kostmo
    kostmo committed Sep 14, 2024
    Configuration menu
    Copy the full SHA
    04cacae View commit details
    Browse the repository at this point in the history

  14. explicit export list and docstring for Swarm.TUI.Model.UI.Gameplay

    @kostmo
    kostmo committed Sep 14, 2024
    Configuration menu
    Copy the full SHA
    2c063cf View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2024

  1. make polymorphic in name

    @kostmo
    kostmo committed Sep 15, 2024
    Configuration menu
    Copy the full SHA
    495f968 View commit details
    Browse the repository at this point in the history

  2. revert a usage site of applyJust

    @kostmo
    kostmo committed Sep 15, 2024
    Configuration menu
    Copy the full SHA
    f70666b View commit details
    Browse the repository at this point in the history

  3. Fix dialog controls

    @kostmo
    kostmo committed Sep 15, 2024
    Configuration menu
    Copy the full SHA
    cbaaf22 View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2024

  1. Merge branch 'main' into feature/navigable-robot-dialog

    @mergify
    mergify[bot] authored Sep 17, 2024
    Configuration menu
    Copy the full SHA
    f29e853 View commit details
    Browse the repository at this point in the history