diff options
author | Marcin Aman <maman@virtuslab.com> | 2020-07-28 16:57:07 +0200 |
---|---|---|
committer | Paweł Marks <Kordyjan@users.noreply.github.com> | 2020-08-03 13:47:51 +0200 |
commit | d0f707af0199a99085dc40693628acbf7e543abe (patch) | |
tree | 8819f1b78fb7a5ff88e824f23cce1632b6dfd8d3 /plugins/base/frontend/package.json | |
parent | 460cdf8bc9c54efd736b10ca58a865f034bf2e84 (diff) | |
download | dokka-d0f707af0199a99085dc40693628acbf7e543abe.tar.gz dokka-d0f707af0199a99085dc40693628acbf7e543abe.tar.bz2 dokka-d0f707af0199a99085dc40693628acbf7e543abe.zip |
Highlight searched phrase
Diffstat (limited to 'plugins/base/frontend/package.json')
-rw-r--r-- | plugins/base/frontend/package.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/base/frontend/package.json b/plugins/base/frontend/package.json index 120d7f34..a1bf42c2 100644 --- a/plugins/base/frontend/package.json +++ b/plugins/base/frontend/package.json @@ -26,7 +26,7 @@ "@babel/core": "^7.8.3", "@jetbrains/babel-preset-jetbrains": "^2.1.4", "@jetbrains/logos": "1.1.5", - "@jetbrains/ring-ui": "2.1.16", + "@jetbrains/ring-ui": "3.0.47", "@types/node": "^12.12.36", "@types/react": "^16.9.0", "@types/react-dom": "^16.9.0", |