177 the server |
177 the server |
178 @type dict |
178 @type dict |
179 """ |
179 """ |
180 result = { |
180 result = { |
181 "RopeFolderName": self.__project.ropefolder.real_path, |
181 "RopeFolderName": self.__project.ropefolder.real_path, |
182 "DefaultConfig": self.__project._default_config(), |
|
183 "RopeHelpFile": os.path.join( |
182 "RopeHelpFile": os.path.join( |
184 os.path.dirname(__file__), "Documentation", "rope", |
183 os.path.dirname(__file__), "Documentation", "rope", |
185 "overview.rst"), |
184 "overview.rst"), |
186 "RopeInfo": rope.INFO, |
185 "RopeInfo": rope.INFO, |
187 "RopeVersion": rope.VERSION, |
186 "RopeVersion": rope.VERSION, |
188 "RopeCopyright": rope.COPYRIGHT, |
187 "RopeCopyright": rope.COPYRIGHT, |
189 "PythonVersion": "Python{0}".format(sys.version_info[0]), |
188 "PythonVersion": "Python{0}".format(sys.version_info[0]), |
190 } |
189 } |
|
190 try: |
|
191 # rope version < 1.2.0 |
|
192 result["DefaultConfig"] = self.__project._default_config() |
|
193 except AttributeError: |
|
194 # rope version >= 1.2.0 |
|
195 # read our own copy of default_config derived from the default |
|
196 # settings in rope.base.prefs.Prefs |
|
197 with open( |
|
198 os.path.join(os.path.dirname(__file__), "default_config.py"), |
|
199 "r", |
|
200 encoding="utf-8" |
|
201 ) as f: |
|
202 result["DefaultConfig"] = f.read() |
191 |
203 |
192 self.sendJson("Config", result) |
204 self.sendJson("Config", result) |
193 |
205 |
194 def __configChanged(self, params): |
206 def __configChanged(self, params): |
195 """ |
207 """ |