comparison 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
comparison
equal deleted inserted replaced
58:7e2d6426c155 59:824f6d74b1d4
25 local int_to_color = require("luan:swing/Color.luan").int_to_color or error() 25 local int_to_color = require("luan:swing/Color.luan").int_to_color or error()
26 local Border = require "luan:swing/Border.luan" 26 local Border = require "luan:swing/Border.luan"
27 local create_empty_border = Border.create_empty_border or error() 27 local create_empty_border = Border.create_empty_border or error()
28 local new_label = require("luan:swing/Label.luan").new or error() 28 local new_label = require("luan:swing/Label.luan").new or error()
29 local make_find_panel = require "classpath:luan_editor/find.luan" 29 local make_find_panel = require "classpath:luan_editor/find.luan"
30 local Swing = require "luan:swing/Swing.luan"
31 local run_later = Swing.run_later or error()
32 local File_chooser = require "luan:swing/File_chooser.luan" 30 local File_chooser = require "luan:swing/File_chooser.luan"
33 local choose_file = File_chooser.awt_choose_file or error() 31 local choose_file = File_chooser.awt_choose_file or error()
34 local Option_pane = require "luan:swing/Option_pane.luan" 32 local Option_pane = require "luan:swing/Option_pane.luan"
35 local show_message_dialog = Option_pane.show_message_dialog or error() 33 local show_message_dialog = Option_pane.show_message_dialog or error()
36 local Clipboard = require "luan:swing/Clipboard.luan" 34 local Clipboard = require "luan:swing/Clipboard.luan"