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