Add optional Editor line numbers

[Copilot]

• Inspect current branch status, recent commits, and merge parents
• Verify there are no unresolved conflict markers or merge state
• Run validation for the merged branch
• Push needed fix and reply to the new PR comment

[tig]

@copilot Add a menubaritem to Ted between edit and help "_Options". Add a menu item for turning on or off line numbers. Make sure you use CommandView = checkbox correctly.

[tig]

@copilot try agaoin

[tig]

@copilot try again

[Copilot]

@copilot try agaoin

Implemented in 9fa3f5c.

Screenshot:

File  Edit  Options  Help
                  ☐ Line Numbers  Show line numbers

1 Hello world

[Copilot]

@copilot try again

Implemented in 564edfb. The Ted line-number menu item now uses the checkbox as CommandView, sets it non-focusable, and reads the checkbox state after Terminal.Gui updates it.

Screenshot:

File  Edit  Options  Help
                  ☐ Line Numbers  Show line numbers

1 Hello world
                  ☒ Line Numbers  Show line numbers

[tig]

&copilot fix merge issues

[tig]

@copilot fix merge issues

[tig]

@copilot resolve the merge conflicts in this pull request

[Copilot]

@copilot fix merge issues

Fixed in 2653c98 by merging origin/develop into the branch and preserving both the develop syntax/theme updates and the line-number/Ted Options changes.

Screenshot:

File  Edit  Options  Help
Esc  Quit │ Themes │ DarkPlus         ▼ │ Loc  x, y │ <untitled>
                  ☐ Line Numbers  Show line numbers
1 Hello world

[Copilot]

@copilot resolve the merge conflicts in this pull request

Resolved in 37f7d36. The branch now has a true merge commit with current origin/develop as a parent, no conflict markers remain, and the line-number option still works with the latest Ted status bar changes.

Screenshot:

File  Edit  Options  Help
Esc  Quit │ Themes │ DarkPlus         ▼ │ Tab │ ▼4▲ │ Loc  x, y │   <untitled>
                  ☐ Line Numbers  Show line numbers
1 Hello world