diff options
-rwxr-xr-x | js/prefs.js | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/js/prefs.js b/js/prefs.js index 7db46ecd7..69e779d45 100755 --- a/js/prefs.js +++ b/js/prefs.js @@ -1809,3 +1809,7 @@ function clearSqlLog() { } } +function updateSelectedPrompt() { + // no-op shim for toggleSelectedRow() +} + |