← Back to branch summary

~tapaal-developers/tapaal/trunk

« back to all changes in this revision

Viewing changes to src/pipe/gui/GuiFrame.java

  • Committer: lsaid
  • Date: 2021-08-03 09:29:10 UTC
  • mto: This revision was merged to the branch mainline in revision 1130.
  • Revision ID: lena.said@hotmail.com-20210803092910-0jfjuzp7l0rig9on
Changed tooltip for 'Merge Composed Net'

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/GuiFrame.java
237
237
            SmartDrawDialog.showSmartDrawDialog();
238
238
        }
239
239
    };
240
 
    private final GuiAction mergeComponentsDialogAction = new GuiAction("Merge net components", "Open a composed net in a new tab and approximated net if enabled", KeyStroke.getKeyStroke(KeyEvent.VK_C, (shortcutkey + InputEvent.SHIFT_MASK))) {
 
240
    private final GuiAction mergeComponentsDialogAction = new GuiAction("Merge net components", "Open a composed net in a new tab and use approximated net if enabled", KeyStroke.getKeyStroke(KeyEvent.VK_C, (shortcutkey + InputEvent.SHIFT_MASK))) {
241
241
        public void actionPerformed(ActionEvent e) {
242
242
            currentTab.ifPresent(TabContentActions::mergeNetComponents);
243
243
        }