Commit 02eb3276 authored by andrei's avatar andrei

Fixed too many refresh() calls for the same java element on changed text selection

parent d11a4406
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment