# HG changeset patch # User David Barts # Date 1648104989 25200 # Node ID c6cccbe2f3939fca39491de6f47ea7f60b027558 # Parent 22725d4d78490cef8ec89eadb88ac27698e2d0b7 Port to OpenJDK 15 (mostly done). diff -r 22725d4d7849 -r c6cccbe2f393 build.xml --- a/build.xml Sat Mar 19 23:04:40 2022 -0700 +++ b/build.xml Wed Mar 23 23:56:29 2022 -0700 @@ -23,24 +23,14 @@ classpath="${kotlin.lib}/kotlin-ant.jar"/> - - - - - - - - + classpath="${env.JRE_HOME}/lib/ant-javafx.jar"/> --> - + @@ -86,6 +76,7 @@ diff -r 22725d4d7849 -r c6cccbe2f393 src/name/blackcap/clipman/Menus.kt --- a/src/name/blackcap/clipman/Menus.kt Sat Mar 19 23:04:40 2022 -0700 +++ b/src/name/blackcap/clipman/Menus.kt Wed Mar 23 23:56:29 2022 -0700 @@ -151,6 +151,10 @@ actionCommand = "Edit.Clone" addActionListener(Application.menuItemListener) })) + add(Application.styledRequired.add(JMenuItem("Convert to Troff").apply { + actionCommand = "Edit.Troff" + addActionListener(Application.menuItemListener) + })) add(Application.styledRequired.add(JMenuItem("Coerce…").apply { actionCommand = "Edit.Coerce" addActionListener(Application.menuItemListener) diff -r 22725d4d7849 -r c6cccbe2f393 src/name/blackcap/clipman/Osdep.kt --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/name/blackcap/clipman/Osdep.kt Wed Mar 23 23:56:29 2022 -0700 @@ -0,0 +1,20 @@ +/* + * OS-dependent code, Mac version. + */ +package name.blackcap.clipman + +import java.awt.Desktop +import java.awt.desktop.AboutHandler +import java.awt.desktop.PreferencesHandler +import java.awt.desktop.QuitStrategy + +fun setMacMenus() { + if (OS.type == OS.MAC) { + Desktop.getDesktop().run { + setAboutHandler(AboutHandler({ showAboutDialog() })) + setPreferencesHandler( + PreferencesHandler({ Application.settingsDialog.setVisible(true) })) + setQuitStrategy(QuitStrategy.CLOSE_ALL_WINDOWS) + } + } +} diff -r 22725d4d7849 -r c6cccbe2f393 src/name/blackcap/clipman/Osdep.kt.default.osdep --- a/src/name/blackcap/clipman/Osdep.kt.default.osdep Sat Mar 19 23:04:40 2022 -0700 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,8 +0,0 @@ -/* - * OS-dependent code, version for all non-Mac systems. - */ -package name.blackcap.clipman - -fun setMacMenus() { - /* no-op */ -} diff -r 22725d4d7849 -r c6cccbe2f393 src/name/blackcap/clipman/Osdep.kt.mac.osdep --- a/src/name/blackcap/clipman/Osdep.kt.mac.osdep Sat Mar 19 23:04:40 2022 -0700 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,17 +0,0 @@ -/* - * OS-dependent code, Mac version. - */ -package name.blackcap.clipman - -import com.apple.eawt.AboutHandler -import com.apple.eawt.PreferencesHandler -import com.apple.eawt.QuitStrategy - -fun setMacMenus() { - com.apple.eawt.Application.getApplication().run { - setAboutHandler(AboutHandler({ showAboutDialog() })) - setPreferencesHandler( - PreferencesHandler({ Application.settingsDialog.setVisible(true) })) - setQuitStrategy(QuitStrategy.CLOSE_ALL_WINDOWS) - } -}