repo/editor: src/luan_editor/window.luan comparison

paste files

author	Franklin Schmidt <fschmidt@gmail.com>
date	Tue, 27 May 2025 22:31:32 -0600
parents	d5681da8ece8
children

comparison

equal deleted inserted replaced

-:dcd7d082196f
+:77ee3a37475a
 local Luan = require "luan:Luan.luan"
 local error = Luan.error
 local stringify = Luan.stringify or error()
+local ipairs = Luan.ipairs or error()
 local Parsers = require "luan:Parsers.luan"
 local json_string = Parsers.json_string or error()
 local json_parse = Parsers.json_parse or error()
 local Math = require "luan:Math.luan"
 local min = Math.min or error()
 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"
 local show_message_dialog = Option_pane.show_message_dialog or error()
+local Clipboard = require "luan:swing/Clipboard.luan"
 local Java = require "classpath:luan_editor/Java.luan"
 local Logging = require "luan:logging/Logging.luan"
 local logger = Logging.logger "editor/window"
 	function window.duplicate()
 		local new = new_window(file,text_area.document)
 		new.text_area.set_selection( text_area.get_selection() )
 	end
 	window.show_list_window = show_list_window
+	function window.paste_files()
+		--logger.info("paste_files "..stringify(Clipboard.get_files()))
+		local files = Clipboard.get_files()
+		if files == nil then
+			return false
+		end
+		for _, file in ipairs(files) do
+			new_window(file)
+		end
+		return true
+	end
 	add_menu_bar(window)
 	frame.pack()
 	local location = config.location
 	if location ~= nil then
 		frame.location = location

Mercurial Hosting > editor