kopia lustrzana https://github.com/TeamNewPipe/NewPipe
Fine tuning
rodzic
22db4175f3
commit
7fc0a3841a
|
@ -226,6 +226,8 @@ public class SettingsActivity extends AppCompatActivity
|
|||
.add(FRAGMENT_HOLDER_ID, searchFragment, PreferenceSearchFragment.NAME)
|
||||
.addToBackStack(PreferenceSearchFragment.NAME)
|
||||
.commit();
|
||||
|
||||
KeyboardUtil.showKeyboard(this, searchEditText);
|
||||
} else if (searchFragment != null) {
|
||||
fm.beginTransaction().remove(searchFragment).commit();
|
||||
fm.popBackStack(
|
||||
|
|
|
@ -70,7 +70,7 @@ public final class PreferenceSearchResultHighlighter {
|
|||
}
|
||||
}
|
||||
highlightFallback(prefsFragment, prefResult);
|
||||
}, 150);
|
||||
}, 200);
|
||||
return;
|
||||
}
|
||||
}
|
||||
|
|
Ładowanie…
Reference in New Issue