diff options
Diffstat (limited to 'devtools/client/webconsole/new-console-output/selectors/prefs.js')
-rw-r--r-- | devtools/client/webconsole/new-console-output/selectors/prefs.js | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/devtools/client/webconsole/new-console-output/selectors/prefs.js b/devtools/client/webconsole/new-console-output/selectors/prefs.js new file mode 100644 index 000000000..18d8b678c --- /dev/null +++ b/devtools/client/webconsole/new-console-output/selectors/prefs.js @@ -0,0 +1,12 @@ +/* -*- indent-tabs-mode: nil; js-indent-level: 2 -*- */ +/* vim: set ft=javascript ts=2 et sw=2 tw=80: */ +/* This Source Code Form is subject to the terms of the Mozilla Public + * License, v. 2.0. If a copy of the MPL was not distributed with this + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ +"use strict"; + +function getLogLimit(state) { + return state.prefs.logLimit; +} + +exports.getLogLimit = getLogLimit; |