eigen-editor-bold-pluginBold plguin for eigen-editor.boldplugineigen-editoreigen-editor-plugineigen-editor-bold-plugin1.0.4 • Published 5 years ago