Używam Eclipse 3.7 na Ubuntu. Często po edycji pliku nie mogę go zapisać - opcja "zapisz" jest wyszarzona w menu i wydaje się, że nie działa, nawet jeśli plik został właśnie zmodyfikowany, a edytor wyświetla gwiazdkę. przed nazwą pliku w nagłówku karty.Opcja zapisania pliku jest wyszarzona w Eclipse
Zmiana aktywnej zakładki na inny plik, a następnie powrót do pierwszego pliku "odblokowuje" opcję zapisu, którą mogę następnie wybrać.
Co powoduje to zachowanie i jak mogę to naprawić?
Ten sam problem tutaj, używając i3 jako menedżera okien. Dzieje się to tylko po zastosowaniu sugestii dotyczącej błędu. – echox
OK, naprawiony w najnowszym oddziale dev w i3 i teraz działa dla mnie. Wydaje się, że jest to problem menedżera okien ... – echox
Ciekawe, mam podobny problem z menedżerem okien e17, do którego nie jest powszechnie używany. @Oak: używasz rzadkiego wm do? – fanf42