search

digama0 / mmj2

mmj2 GUI Proof Assistant for the Metamath project
GNU General Public License v2.0
72 stars 25 forks source link

Make codebase IDE-independent #59

Open mountain opened 2 years ago

mountain commented 2 years ago

Hi, folks,

Let's start from this PR, it makes the codebase IDE-independent.

Mingli

digama0 commented 2 years ago

Why the deletions? Those files contain project preferences that might be useful for anyone browsing or editing the project using Eclipse. Perhaps they aren't useful for everyone, but I see no reason to delete them on that basis. On the contrary I would rather see preference files for any IDE that is in use by developers on the project (at least for preferences that are useful generally, like tab settings and formatting, as opposed to color themes or fonts).

mountain commented 2 years ago

for the tab setting and other editor settings, maybe we can adopt a editorconfig file https://editorconfig.org/

It is supported by VSCode, IntelliJ, Eclipse(by plugin) and other editors.

But the .classpath file, I can not find a IDE-agnostic solution...