📄 hello_world_with_server.py
字号:
# a version of Hello, World using the Server classimport PicoGUIdef test(address='localhost', display=0): server = PicoGUI.Server(address, display) top_id = server.register(server.getString('Greetings')) label_id = server.createWidget('Label') server.set(label_id, 'text', server.getString('Hello, World')) server.set(label_id, 'side', 'all') server.set(label_id, 'font', server.getFont(':24:Bold')) server.attachWidget(top_id, label_id, 'inside') server.update() return serverdef event_loop(server): while 1: ev = server.wait() if ev.name == 'close': returnif __name__ == '__main__': from sys import argv if len(argv) > 2: display = argv[2] else: display = 0 if len(argv) > 1: address = argv[1] else: address = 'localhost' c = test(address, display) event_loop(c)
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -