ग्रहण (3.4.2 PyDev के साथ) आउट-ऑफ-सिंक संसाधनों (आईडीई के बाहर संपादित की गई फ़ाइलें) के साथ अलग-अलग तरीके से काम करता है, अन्य आईडीई से जो मैंने उपयोग किया है, जहां केवल संपादकों के साथ खुले संसाधनों को आउट-ऑफ-सिंक माना जाता है । ग्रहण में, कोई भी संसाधन सिंक से बाहर जा सकता है।
इसका मतलब यह है कि जब मैं ग्रहण के बाहर किसी फ़ाइल को बदलने के बाद खोज करता हूं, तो मुझे एक त्रुटि संवाद मिलता है जो बताता है कि फाइलें सिंक से बाहर हैं, भले ही उनके पास कोई खुले संपादक न हों। जहां तक मैं बता सकता हूं, कोई वैश्विक रिफ्रेश कमांड नहीं है, इसलिए मुझे त्रुटि संवाद में प्रोजेक्ट के नाम (मेरे पास कई परियोजनाएं) पढ़ने के लिए मजबूर किया जाता है, और उनमें से प्रत्येक के लिए एक राइट-क्लिक + रिफ्रेश करें।
मैंने Refresh Automatically
सेटिंग की जाँच कर ली है Settings > General > Workspace
, लेकिन इसका कोई प्रभाव नहीं है। क्या ग्रहण को हमेशा डिस्क से गैर-सक्रिय संसाधनों को लोड करने का कोई तरीका है?