*/
private void initToolOptionsContribution(IStatusLineManager statusLine, ToolProxy modalToolProxy){
if(statusLine != null ){
if(preferencesShortcutToolOptions == null || preferencesShortcutToolOptions.isDisposed()){
preferencesShortcutToolOptions = new PreferencesShortcutToolOptionsContributionItem();
statusLine.appendToGroup(StatusLineManager.BEGIN_GROUP, preferencesShortcutToolOptions);
preferencesShortcutToolOptions.setVisible(true);
}
preferencesShortcutToolOptions.update(modalToolProxy);