preferences.wxg
来自「用python写的ide开发环境,巨强大,不过需要wxpython的支持」· WXG 代码 · 共 356 行 · 第 1/2 页
WXG
356 行
<object class="sizeritem"> <flag>wxALL|wxEXPAND</flag> <border>5</border> <option>0</option> <object class="wxCheckBox" name="wxg_backup" base="EditCheckBox"> <checked>1</checked> <label>Create backup wxg files</label> </object> </object> <object class="sizeritem"> <flag>wxALL|wxEXPAND</flag> <border>5</border> <option>0</option> <object class="wxCheckBox" name="codegen_backup" base="EditCheckBox"> <checked>1</checked> <label>Create backup files for generated source</label> </object> </object> <object class="sizeritem"> <flag>wxALL|wxEXPAND</flag> <border>5</border> <option>0</option> <object class="wxCheckBox" name="allow_duplicate_names" base="EditCheckBox"> <label>Allow duplicate widget names</label> <hidden>1</hidden> </object> </object> <object class="sizeritem"> <flag>wxEXPAND</flag> <border>0</border> <option>0</option> <object class="wxBoxSizer" name="sizer_7" base="EditBoxSizer"> <orient>wxHORIZONTAL</orient> <object class="sizeritem"> <flag>wxALL|wxALIGN_CENTER_VERTICAL</flag> <border>5</border> <option>0</option> <object class="wxCheckBox" name="default_border" base="EditCheckBox"> <label>Default border width for widgets</label> </object> </object> <object class="sizeritem"> <flag>wxALL</flag> <border>5</border> <option>0</option> <object class="wxSpinCtrl" name="default_border_size" base="EditSpinCtrl"> <range>0, 20</range> <size>45, 22</size> </object> </object> </object> </object> <object class="sizeritem"> <flag>wxEXPAND</flag> <border>0</border> <option>0</option> <object class="wxBoxSizer" name="sizer_7_copy" base="EditBoxSizer"> <orient>wxHORIZONTAL</orient> <object class="sizeritem"> <flag>wxLEFT|wxTOP|wxBOTTOM|wxALIGN_CENTER_VERTICAL</flag> <border>5</border> <option>0</option> <object class="wxCheckBox" name="autosave" base="EditCheckBox"> <label>Auto save wxg files every </label> </object> </object> <object class="sizeritem"> <flag>wxTOP|wxBOTTOM</flag> <border>5</border> <option>0</option> <object class="wxSpinCtrl" name="autosave_delay" base="EditSpinCtrl"> <range>30, 300</range> <value>120</value> <size>45, 22</size> </object> </object> <object class="sizeritem"> <flag>wxTOP|wxBOTTOM|wxALIGN_CENTER_VERTICAL|wxFIXED_MINSIZE</flag> <border>5</border> <option>0</option> <object class="wxStaticText" name="label_3" base="EditStaticText"> <attribute>0</attribute> <label> seconds</label> </object> </object> </object> </object> <object class="sizeritem"> <flag>wxALL|wxEXPAND</flag> <border>5</border> <option>0</option> <object class="wxCheckBox" name="write_timestamp" base="EditCheckBox"> <checked>1</checked> <label>Insert timestamp on generated source files</label> </object> </object> <object class="sizeritem"> <flag>wxALL|wxEXPAND</flag> <border>5</border> <option>0</option> <object class="wxCheckBox" name="write_generated_from" base="EditCheckBox"> <label>Insert .wxg file name on generated source files</label> </object> </object> <object class="sizeritem"> <flag>wxALL|wxEXPAND</flag> <border>5</border> <option>0</option> <object class="wxRadioBox" name="backup_suffix" base="EditRadioBox"> <style>wxRA_SPECIFY_COLS</style> <selection>0</selection> <dimension>2</dimension> <label>Backup options</label> <choices> <choice>append ~ to filename</choice> <choice>append .bak to filename</choice> </choices> </object> </object> <object class="sizeritem"> <flag>wxALL|wxEXPAND</flag> <border>5</border> <option>0</option> <object class="wxStaticBoxSizer" name="sizer_6" base="EditStaticBoxSizer"> <orient>wxHORIZONTAL</orient> <label>Local widget path</label> <object class="sizeritem"> <flag>wxALL</flag> <border>3</border> <option>1</option> <object class="wxTextCtrl" name="local_widget_path" base="EditTextCtrl"> </object> </object> <object class="sizeritem"> <flag>wxALL|wxALIGN_CENTER_VERTICAL</flag> <border>3</border> <option>0</option> <object class="wxButton" name="choose_widget_path" base="EditButton"> <style>wxBU_EXACTFIT</style> <label>...</label> </object> </object> </object> </object> </object> </object> </object> </object> <object class="sizeritem"> <flag>wxALL|wxALIGN_RIGHT</flag> <border>10</border> <option>0</option> <object class="wxBoxSizer" name="sizer_2" base="EditBoxSizer"> <orient>wxHORIZONTAL</orient> <object class="sizeritem"> <border>0</border> <option>0</option> <object class="wxButton" name="ok" base="EditButton"> <stockitem>OK</stockitem> <default>1</default> <label>&OK</label> </object> </object> <object class="sizeritem"> <flag>wxLEFT</flag> <border>10</border> <option>0</option> <object class="wxButton" name="cancel" base="EditButton"> <stockitem>CANCEL</stockitem> <label>&Cancel</label> </object> </object> </object> </object> </object> </object></application>
⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?