• MarkerSets为jEdit是一个有用的和简单的jEdit插件,可以让你来管理多个设置的标记,每组包含可以注意到从各种文件。

    插件可以让你轻松的出口标记,设置一个XML文件,改变活动设置标记,以及分配颜色对于每个集。

  • MarkerSets के लिए jEdit एक उपयोगी और सरल jEdit प्लगइन की अनुमति देता है कि आप का प्रबंधन करने के लिए एकाधिक सेट का मार्करों, जहाँ प्रत्येक सेट में शामिल कर सकते हैं नोटों से विभिन्न फ़ाइलों.

    प्लगइन की अनुमति देता है आप करने के लिए आसानी से निर्यात मार्कर सेट करने के लिए एक XML फाइल में बदलने के लिए, सक्रिय मार्कर सेट, के रूप में अच्छी तरह के रूप में आवंटित करने के लिए रंग के प्रत्येक सेट के लिए.

  • MarkerSets For jEdit is a useful and simple jEdit plugin that allows you to manage multiple sets of markers, where each set can contain notes from various files.

    The plugin allows you to easily export the marker sets to a XML file, change the active marker set, as well as to assign colors for each set.