-
Updated
Oct 1, 2020 - JavaScript
editor-plugin
Here are 137 public repositories matching this topic...
-
Updated
Nov 23, 2020 - Java
-
Updated
Apr 17, 2017 - HTML
-
Updated
Oct 23, 2019 - Vim script
-
Updated
Nov 25, 2020 - Kotlin
-
Updated
May 12, 2020 - JavaScript
-
Updated
Nov 13, 2020 - GDScript
-
Updated
Nov 21, 2020 - Elixir
-
Updated
Apr 15, 2020 - CSS
-
Updated
Nov 25, 2020 - TypeScript
-
Updated
Oct 26, 2020 - TypeScript
-
Updated
Aug 2, 2020 - Vim script
-
Updated
Nov 23, 2020 - JavaScript
-
Updated
Feb 10, 2017 - JavaScript

-
Updated
Nov 2, 2020 - JavaScript
-
Updated
Aug 15, 2020 - Rust
-
Updated
Nov 20, 2020 - Python
-
Updated
Feb 13, 2018 - Vim script
-
Updated
Feb 29, 2020
-
Updated
Feb 6, 2020 - Java
-
Updated
Mar 10, 2018 - C#
-
Updated
Jul 16, 2015 - Vim script
-
Updated
Sep 12, 2020 - Python
-
Updated
Sep 8, 2020 - JavaScript
Improve this page
Add a description, image, and links to the editor-plugin topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the editor-plugin topic, visit your repo's landing page and select "manage topics."
Currently, we can only choose a background color.
I would be great if we can choose font and size also.
AceJump uses edit font family and font size, which sometimes make aceJump's popups barely visible.
Example below:
