EditorConfig plugin for Far Manager

Roman Kuzmin

unread,

Dec 26, 2020, 9:37:29 AM12/26/20

to EditorConfig

Plugin for Far Manager is released.

It is FarNet.EditorKit -- https://github.com/nightroman/FarNet/tree/master/EditorKit

Hong Xu

unread,

Dec 26, 2020, 3:47:02 PM12/26/20

to editor...@googlegroups.com

On 12/26/20 6:37 AM, Roman Kuzmin wrote:
> Plugin for Far Manager is released.
> It is FarNet.EditorKit -- https://github.com/nightroman/FarNet/tree/master/EditorKit
>

Thanks for the plugin! I've opened an issue to track listing the plugin on the website: https://github.com/editorconfig/editorconfig.github.com/issues/136

Hong

Hong Xu

unread,

Sep 19, 2021, 4:34:58 PM9/19/21

to editor...@googlegroups.com, Roman Kuzmin

On 12/26/20 6:37 AM, Roman Kuzmin wrote:

> Plugin for Far Manager is released.
> It is FarNet.EditorKit -- https://github.com/nightroman/FarNet/tree/master/EditorKit
>

Hi Roman,

Far Manager should now have been listed on the website: https://github.com/editorconfig/editorconfig.github.com/pull/157

Should we label it "FarNet" or "Far Manager"?

Thanks,
Hong

Hong Xu

unread,

Sep 20, 2021, 1:11:36 AM9/20/21

to Roman Kuzmin, editorconfig

On 9/19/21 9:58 PM, Roman Kuzmin wrote:
> Hi Hong,
>
> The "Far Manager" label is correct, it's the actual application.
> "Farnet.EditorConfig" is the name of its plugin.
>
> Thank you for adding the logo.
> Roman

Thanks Roman.

Reply all

Reply to author

Forward