2017-10-03 19:24:00 +00:00
|
|
|
// @flow
|
|
|
|
|
2017-04-01 05:52:40 +00:00
|
|
|
declare var interfaceConfig: Object;
|
|
|
|
|
2018-03-07 00:28:19 +00:00
|
|
|
/**
|
|
|
|
* Helper for getting the height of the toolbox.
|
|
|
|
*
|
|
|
|
* @returns {number} The height of the toolbox.
|
|
|
|
*/
|
|
|
|
export function getToolboxHeight() {
|
|
|
|
const toolbox = document.getElementById('new-toolbox');
|
|
|
|
|
|
|
|
return (toolbox && toolbox.clientHeight) || 0;
|
|
|
|
}
|
|
|
|
|
2017-07-26 20:52:41 +00:00
|
|
|
/**
|
|
|
|
* Indicates if a toolbar button is enabled.
|
|
|
|
*
|
|
|
|
* @param {string} name - The name of the setting section as defined in
|
|
|
|
* interface_config.js.
|
|
|
|
* @returns {boolean} - True to indicate that the given toolbar button
|
|
|
|
* is enabled, false - otherwise.
|
|
|
|
*/
|
2017-10-03 19:24:00 +00:00
|
|
|
export function isButtonEnabled(name: string) {
|
2018-04-10 20:51:37 +00:00
|
|
|
return interfaceConfig.TOOLBAR_BUTTONS.indexOf(name) !== -1;
|
2017-07-26 20:52:41 +00:00
|
|
|
}
|