MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-08 23:39:39 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
a02a3b2480c113cbc3a2133a0ff2917ee57368cc
openide/python/python-exec-service/execService.python/resources/messages/PyExecPythonBundle.properties
Ilya.Kazakevich 105554c91d Python: introduce getOr("message"){} API to add errors on an appropriate level. 
See `getOr` extension doc.

GitOrigin-RevId: 859af221e99f03b99ee2f82e829e83e0f00a9e6d
2025-06-07 22:05:56 +00:00

4 lines
163 B
INI
Raw Blame History

python.get.version.error={0} returned error: {1}
python.get.version.wrong.version={0} has a wrong version: {1}
python.cannot.exec=Python {0} could not be executed
Reference in New Issue View Git Blame Copy Permalink