Mercurial Hosting > editor
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" |