diff src/luan_editor/Window.luan @ 59:824f6d74b1d4

use launcher
author Franklin Schmidt <fschmidt@gmail.com>
date Wed, 04 Jun 2025 18:21:45 -0600
parents f91c336cdde5
children 1c68552e8ac2
line wrap: on
line diff
--- a/src/luan_editor/Window.luan	Fri May 30 13:17:51 2025 -0600
+++ b/src/luan_editor/Window.luan	Wed Jun 04 18:21:45 2025 -0600
@@ -27,8 +27,6 @@
 local create_empty_border = Border.create_empty_border or error()
 local new_label = require("luan:swing/Label.luan").new or error()
 local make_find_panel = require "classpath:luan_editor/find.luan"
-local Swing = require "luan:swing/Swing.luan"
-local run_later = Swing.run_later or error()
 local File_chooser = require "luan:swing/File_chooser.luan"
 local choose_file = File_chooser.awt_choose_file or error()
 local Option_pane = require "luan:swing/Option_pane.luan"