1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-30 19:52:13 +01:00

Ensure that the selected code is not folded during "Search and Replace"

Fixes #4845
This commit is contained in:
Martino Facchin 2016-08-26 16:40:32 +02:00
parent 300b1d7290
commit b5223cc576

View File

@ -323,6 +323,8 @@ public class FindReplace extends javax.swing.JFrame {
}
}
editor.getCurrentTab().getTextArea().getFoldManager().ensureOffsetNotInClosedFold(nextIndex);
if (nextIndex == -1) {
// Nothing found on this tab: Search other tabs if required
if (searchTabs) {