(pos: DevtoolsPosition)
| 795 | ) |
| 796 | |
| 797 | const setDevtoolsPosition = (pos: DevtoolsPosition) => { |
| 798 | props.setLocalStore('position', pos) |
| 799 | } |
| 800 | |
| 801 | // Sets the Font Size variable on portal menu elements since they will be outside |
| 802 | // the main panel container |