comparison src/luan/modules/swing/Swing.luan @ 1893:0170d482b5d5

add FlatLaf
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 13 Apr 2025 12:25:08 -0600
parents 4e7090ca4581
children b3850e44e037
comparison
equal deleted inserted replaced
1892:3990486911d9 1893:0170d482b5d5
3 local ipairs = Luan.ipairs or error() 3 local ipairs = Luan.ipairs or error()
4 require "java" 4 require "java"
5 local System = require "java:java.lang.System" 5 local System = require "java:java.lang.System"
6 local Insets = require "java:java.awt.Insets" 6 local Insets = require "java:java.awt.Insets"
7 local UIManager = require "java:javax.swing.UIManager" 7 local UIManager = require "java:javax.swing.UIManager"
8 local FlatLightLaf = require "java:com.formdev.flatlaf.FlatLightLaf"
8 local SwingLuan = require "java:luan.modules.swing.SwingLuan" 9 local SwingLuan = require "java:luan.modules.swing.SwingLuan"
9 10
10 11
11 local Swing = {} 12 local Swing = {}
12 13
13 System.setProperty("apple.laf.useScreenMenuBar", "true") 14 System.setProperty("apple.laf.useScreenMenuBar", "true")
15 UIManager.setLookAndFeel(FlatLightLaf.new())
14 16
15 function Swing.get_installed_look_and_feels() 17 function Swing.get_installed_look_and_feels()
16 local list = {} 18 local list = {}
17 for _, info in ipairs{UIManager.getInstalledLookAndFeels()} do 19 for _, info in ipairs{UIManager.getInstalledLookAndFeels()} do
18 list[#list+1] = info.getClassName() 20 list[#list+1] = info.getClassName()
28 Swing.set_look_and_feel = UIManager.setLookAndFeel 30 Swing.set_look_and_feel = UIManager.setLookAndFeel
29 31
30 Swing.run = SwingLuan.run 32 Swing.run = SwingLuan.run
31 33
32 Swing.new_insets = Insets.new -- top, left, bottom, right 34 Swing.new_insets = Insets.new -- top, left, bottom, right
35 Swing.no_insets = Insets.new(0,0,0,0)
33 36
34 return Swing 37 return Swing