Forks · Protesilaos Stavrou / modus-themes · GitLab

52 forks: 51 public, 0 internal, and 1 private

View temp scan ecoscan-13234158-deletion_scheduled-86753597 project

Rachel Green / temp scan ecoscan-13234158-deletion_scheduled-86753597

Disable the themes, then load THEME

Marked For Deletion At - Sep 22, 2026

Scheduled Deletion At - Oct 22, 2026

Pending deletion 0

Updated Sep 22, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 22, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86707268 project

Chandler Bing / temp scan ecoscan-13234158-deletion_scheduled-86707268

Disable the themes, then load THEME

Marked For Deletion At - Sep 21, 2026

Scheduled Deletion At - Oct 21, 2026

Pending deletion 0

Updated Sep 21, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 21, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86675749 project

Chandler Bing / temp scan ecoscan-13234158-deletion_scheduled-86675749

Add support for Magit merge conflict headings

Marked For Deletion At - Sep 20, 2026

Scheduled Deletion At - Oct 20, 2026

Pending deletion 0

Updated Sep 20, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 20, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86653486 project

Rachel Green / temp scan ecoscan-13234158-deletion_scheduled-86653486

Add support for Magit merge conflict headings

Marked For Deletion At - Sep 19, 2026

Scheduled Deletion At - Oct 19, 2026

Pending deletion 0

Updated Sep 19, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 19, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86576605 project

Rachel Green / temp scan ecoscan-13234158-deletion_scheduled-86576605

Mention proof-general as a supported package

Marked For Deletion At - Sep 17, 2026

Scheduled Deletion At - Oct 17, 2026

Pending deletion 0

Updated Sep 17, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 17, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86533539 project

Chandler Bing / temp scan ecoscan-13234158-deletion_scheduled-86533539

Mention proof-general as a supported package

Marked For Deletion At - Sep 16, 2026

Scheduled Deletion At - Oct 16, 2026

Pending deletion 0

Updated Sep 16, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 16, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86487840 project

Rachel Green / temp scan ecoscan-13234158-deletion_scheduled-86487840

Recompile the Info manual to include the latest changes

Marked For Deletion At - Sep 15, 2026

Scheduled Deletion At - Oct 15, 2026

Pending deletion 0

Updated Sep 15, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 15, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86446755 project

Chandler Bing / temp scan ecoscan-13234158-deletion_scheduled-86446755

Recompile the Info manual to include the latest changes

Marked For Deletion At - Sep 14, 2026

Scheduled Deletion At - Oct 14, 2026

Pending deletion 0

Updated Sep 14, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 14, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86411435 project

Rachel Green / temp scan ecoscan-13234158-deletion_scheduled-86411435

Recompile the Info manual to include the latest changes

Marked For Deletion At - Sep 13, 2026

Scheduled Deletion At - Oct 13, 2026

Pending deletion 0

Updated Sep 13, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 13, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86383257 project

Chandler Bing / temp scan ecoscan-13234158-deletion_scheduled-86383257

Recompile the Info manual to include the latest changes

Marked For Deletion At - Sep 12, 2026

Scheduled Deletion At - Oct 12, 2026

Pending deletion 0

Updated Sep 12, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 12, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86347164 project

Rachel Green / temp scan ecoscan-13234158-deletion_scheduled-86347164

Recompile the Info manual to include the latest changes

Marked For Deletion At - Sep 11, 2026

Scheduled Deletion At - Oct 11, 2026

Pending deletion 0

Updated Sep 11, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 11, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86259307 project

Chandler Bing / temp scan ecoscan-13234158-deletion_scheduled-86259307

Reorganise the links to other Modus projects in the README.md and clarify I am...

Marked For Deletion At - Sep 9, 2026

Scheduled Deletion At - Oct 9, 2026

Pending deletion 0

Updated Sep 09, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 09, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86217011 project

Rachel Green / temp scan ecoscan-13234158-deletion_scheduled-86217011

Reorganise the links to other Modus projects in the README.md and clarify I am...

Marked For Deletion At - Sep 8, 2026

Scheduled Deletion At - Oct 8, 2026

Pending deletion 0

Updated Sep 08, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 08, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86178826 project

Chandler Bing / temp scan ecoscan-13234158-deletion_scheduled-86178826

Reorganise the links to other Modus projects in the README.md and clarify I am...

Marked For Deletion At - Sep 7, 2026

Scheduled Deletion At - Oct 7, 2026

Pending deletion 0

Updated Sep 07, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 07, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86146509 project

Chandler Bing / temp scan ecoscan-13234158-deletion_scheduled-86146509

Add support for log-view-marked face (Emacs 32)

Marked For Deletion At - Sep 6, 2026

Scheduled Deletion At - Oct 6, 2026

Pending deletion 0

Updated Sep 06, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 06, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86126828 project

Chandler Bing / temp scan ecoscan-13234158-deletion_scheduled-86126828

Add support for log-view-marked face (Emacs 32)

Marked For Deletion At - Sep 5, 2026

Scheduled Deletion At - Oct 5, 2026

Pending deletion 0

Updated Sep 05, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 05, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86093245 project

Chandler Bing / temp scan ecoscan-13234158-deletion_scheduled-86093245

Make all flymake EOL faces have the same :height 0.9

Marked For Deletion At - Sep 4, 2026

Scheduled Deletion At - Oct 4, 2026

Pending deletion 0

Updated Sep 04, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 04, 2026
View temp scan ecoscan-13234158-deletion_scheduled-86013659 project

Rachel Green / temp scan ecoscan-13234158-deletion_scheduled-86013659

Make all flymake EOL faces have the same :height 0.9

Marked For Deletion At - Sep 2, 2026

Scheduled Deletion At - Oct 2, 2026

Pending deletion 0

Updated Sep 02, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 02, 2026
View temp scan ecoscan-13234158-deletion_scheduled-85950595 project

Rachel Green / temp scan ecoscan-13234158-deletion_scheduled-85950595

Make read-multiple-choice-face use the style of keybindings plus :inverse-video

Marked For Deletion At - Sep 1, 2026

Scheduled Deletion At - Oct 1, 2026

Pending deletion 0

Updated Sep 01, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Sep 01, 2026
View temp scan ecoscan-13234158-deletion_scheduled-85897756 project

Chandler Bing / temp scan ecoscan-13234158-deletion_scheduled-85897756

Include the modus-themes-common-palette-user in the resulting palette (Emacs bug#81640)

Marked For Deletion At - Aug 30, 2026

Scheduled Deletion At - Sep 29, 2026

Pending deletion 0

Updated Aug 30, 2026
Restore

Pending deletion 0 0 0 0 Restore

Updated Aug 30, 2026

1
2
3