eclipse丢失了我的“显示行号”首选项设置

我使用的是Eclipse版本:

Oxygen.3a Release (4.7.3a)   
Build id: 20180405-1200  

选中“显示行号”后 在Windows中->首选项-常规-编辑器-文本编辑器 行号显示在编辑器中 但是,在关闭eclipse并重新打开同一个工作区之后,这些设置将丢失。未显示行号,且未选中“显示行号”。 出于某种原因,我的eclipse没有保存这些设置。

我想是虫子,但我在找解决办法。 我尝试在项目的org.eclipse.ui.editors.prefs文件中添加以下行:

lineNumberRuler=true

但这并没有解决问题。一旦eclipse开始使用该工作区,上面的行将更改为linenumberruler=false。当我再次设置时,它将从文件中删除。

在我的工作区中,上述文件包含以下内容:

eclipse.preferences.version=1
overviewRuler_migration=migrated_3.1
spacesForTabs=true

我不知道overviewruler_migration属性的含义是什么,但是从文件中删除它并重新启动eclipse没有帮助。

是否有任何方法可以使保存行号设置在每次关闭工作区重新打开后都不会丢失?我不想恢复到旧版本的eclipse,也不想安装新版本的eclipse,除非已经在其中修复,如果它确实是一个bug的话。

谢谢