Skip to content

Create a generic 'border_round' widget #48

@chshersh

Description

@chshersh

Create a widget that should do the following:

  1. Takes Pretty.Layout.t
  2. Wraps it around in a round border by adding a single space to the left and right sides

Put it in widget/generic.ml module.

The idea is to replace hardcoded widgets like this one:

let filter_open =
fmt_filter
~style:Style.issue_open
~is_selected:(current_filter = Model.Issue.filter_open)
[ "╭──────────╮";
"│ Open o │";
"╰──────────╯";
] [@@ocamlformat "disable"]
in

So let's also replace these three selector widgets once this new one is introduced.

Metadata

Metadata

Assignees

No one assigned

    Labels

    component: UIIssues related to changing UIgood first issueGood for newcomerspriority: lowIssues with low priority. Most like will never be done.type: refactoringImproving the code quality w/o changing functionality

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions