Navigator Pagebreak

This extension provides some navigation commands with pagebreak charactor (0x0C, FORM FEED).

Commands

This extension provides following commands:

• extension.navigator-pagebreak.insert
  • Insert pagebreak charactor
  • default key: ctrl+q ctrl+l
• extension.navigator-pagebreak.move-next
  • Move to the next pagebreak charactor position.
  • default key: ctrl+]
• extension.navigator-pagebreak.move-previous
  • Move to the previous pagebreak charactor position.
  • default key: ctrl+[

Color customization

• navigator.pagebreak.foregroundColor
• navigator.pagebreak.backgroundColor