comparison src/luan_editor/editor.luan @ 92:aefa7f8bb407

better open files
author Franklin Schmidt <fschmidt@gmail.com>
date Wed, 09 Jul 2025 22:59:59 -0600
parents 7f5b3824f4d4
children
comparison
equal deleted inserted replaced
91:ff999e959b74 92:aefa7f8bb407
14 local Java = require "classpath:luan_editor/Java.luan" 14 local Java = require "classpath:luan_editor/Java.luan"
15 local Logging = require "luan:logging/Logging.luan" 15 local Logging = require "luan:logging/Logging.luan"
16 local logger = Logging.logger "editor/editor" 16 local logger = Logging.logger "editor/editor"
17 17
18 18
19 local function open_args(args)
20 local files = {}
21 for _, arg in ipairs(args) do
22 files[#files+1] = new_file(arg)
23 end
24 swing_run( function()
25 local Window = require "classpath:luan_editor/Window.luan"
26 Window.open_files(files)
27 end )
28 end
29
19 local function open(args) 30 local function open(args)
20 if #args == 0 then 31 if #args == 0 then
21 swing_run( function() 32 swing_run( function()
22 local Window = require "classpath:luan_editor/Window.luan" 33 local Window = require "classpath:luan_editor/Window.luan"
23 local new_window = Window.new_window or error() 34 Window.new_window()
24
25 new_window()
26 end ) 35 end )
27 else 36 else
28 for _, arg in ipairs(args) do 37 open_args(args)
29 local file = new_file(arg)
30 swing_run( function()
31 local Window = require "classpath:luan_editor/Window.luan"
32 local new_window = Window.new_window or error()
33
34 new_window(file)
35 end )
36 sleep(100)
37 end
38 end 38 end
39 end 39 end
40 40
41 local function reopen(args) 41 local function reopen(args)
42 if #args == 0 then 42 if #args == 0 then
43 swing_run( function() 43 swing_run( function()
44 local Window = require "classpath:luan_editor/Window.luan" 44 local Window = require "classpath:luan_editor/Window.luan"
45 local open_window = Window.open_window or error() 45 Window.to_front()
46
47 open_window(nil)
48 end ) 46 end )
49 else 47 else
50 for _, arg in ipairs(args) do 48 open_args(args)
51 swing_run( function()
52 local Window = require "classpath:luan_editor/Window.luan"
53 local open_window = Window.open_window or error()
54
55 open_window(arg)
56 end )
57 sleep(100)
58 end
59 end 49 end
60 end 50 end
61 51
62 local port = Java.port 52 local port = Java.port
63 if port ~= nil then 53 if port ~= nil then