~tapaal-contributor/tapaal/query-export-bug-1767615

« back to all changes in this revision

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

  • Committer: Jiri Srba
  • Date: 2018-04-16 11:05:54 UTC
  • mfrom: (952.1.1 tapaal-trunk)
  • Revision ID: srba.jiri@gmail.com-20180416110554-jq2yy628fp2zo28t
merged in branch bzr merge lp:~yrke/tapaal/tapaal-fix-1756865 fixing broken Mac integration with Java 9 (by catching and ignoring the exception)

Show diffs side-by-side

added added

removed removed

Lines of Context:
216
216
                }
217
217
 
218
218
                if (isMac()){ 
219
 
                        new SpecialMacHandler();
 
219
                        try {
 
220
                                new SpecialMacHandler();
 
221
                        } catch (NoClassDefFoundError e) {
 
222
                                //Failed loading special mac handler, ignore and run program without MacOS integration
 
223
                        }
220
224
                }
221
225
 
222
226
                this.setIconImage(new ImageIcon(Thread.currentThread().getContextClassLoader().getResource(CreateGui.imgPath + "icon.png")).getImage());