-
Notifications
You must be signed in to change notification settings - Fork 16
Create a generic 'border_round' widget #48
Copy link
Copy link
Open
Labels
component: UIIssues related to changing UIIssues related to changing UIgood first issueGood for newcomersGood for newcomerspriority: lowIssues with low priority. Most like will never be done.Issues with low priority. Most like will never be done.type: refactoringImproving the code quality w/o changing functionalityImproving the code quality w/o changing functionality
Metadata
Metadata
Assignees
Labels
component: UIIssues related to changing UIIssues related to changing UIgood first issueGood for newcomersGood for newcomerspriority: lowIssues with low priority. Most like will never be done.Issues with low priority. Most like will never be done.type: refactoringImproving the code quality w/o changing functionalityImproving the code quality w/o changing functionality
Create a widget that should do the following:
Pretty.Layout.tPut it in
widget/generic.mlmodule.The idea is to replace hardcoded widgets like this one:
github-tui/lib/tui/widget/issue.ml
Lines 10 to 18 in deb91b8
So let's also replace these three selector widgets once this new one is introduced.