hacked a way around the Firefox panel resizing unreliability;
keyboard shortcut placeholders set up, ready for implementation soon;