jetbrains-ide - 如何在DataGrip表编辑器中更改数字格式

Question

我想知道为什么DataGrip在编辑表值时不遵循本地数字格式分隔符。

在德国，我们的小数点分隔符是逗号，而不是点。因此，我无法使用键盘来编辑数字。

有没有人知道如何更改数字格式？

Answer 1

对于正在寻找一种解决方案的人，该解决方案不是使用指定的十进制分隔符而是编辑来导出数据:

您可以创建用户定义的数据提取器(例如this example)和use it in DataGrip。