playlist editor: change data fetch delay to 250ms
This commit is contained in:
@@ -44,7 +44,8 @@ PlaylistEditor *myPlaylistEditor;
|
||||
|
||||
namespace {
|
||||
|
||||
const auto fetch_delay = boost::posix_time::milliseconds(500);
|
||||
const int pe_timeout = 250;
|
||||
const auto fetch_delay = boost::posix_time::milliseconds(pe_timeout);
|
||||
|
||||
size_t LeftColumnStartX;
|
||||
size_t LeftColumnWidth;
|
||||
@@ -207,6 +208,14 @@ void PlaylistEditor::update()
|
||||
}
|
||||
}
|
||||
|
||||
int PlaylistEditor::windowTimeout()
|
||||
{
|
||||
if (Content.reallyEmpty())
|
||||
return pe_timeout;
|
||||
else
|
||||
return Screen<WindowType>::windowTimeout();
|
||||
}
|
||||
|
||||
bool PlaylistEditor::isContentFiltered()
|
||||
{
|
||||
if (Content.isFiltered())
|
||||
|
||||
Reference in New Issue
Block a user