homework/42409006-杨永泉/AF/kul/simulation_log.kul

<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
<kul_pkg type="ui" name="simulation_log" xmlns="http://www.kingmesh.com" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.kingmesh.com kul.xsd">
  <property name="id">0x1f05ac7b-0x6870-0x4648-0x98-0xb0-0xc9-0x16-0x7f-0x22-0x3d-0x55</property>
  <widget type="form" name="simulation_log_pane">
    <property name="id">0x165f2fff-0x603a-0x41fe-0xb2-0x98-0x7d-0xa7-0x99-0x53-0x2f-0x9a</property>
    <property name="style">composite</property>
    <property name="title">Form</property>
    <property name="titlebar">true</property>
    <property name="icon">nil</property>
    <property name="bkcolor">gray</property>
    <property name="width">auto</property>
    <property name="height">auto</property>
    <property name="center">center</property>
    <property name="auto_center">false</property>
    <property name="transparent">false</property>
    <property name="resize">true</property>
    <property name="show">normal</property>
    <property name="maximum_box">true</property>
    <property name="minimum_box">true</property>
    <property name="close_box">true</property>
    <property name="toolwindow">false</property>
    <property name="app_window">true</property>
    <property name="topmost">true</property>
    <property name="is_service">false</property>
    <property name="attachment">none</property>
    <property name="attachment_size">5</property>
    <property name="attach_dev">none</property>
    <property name="attach_dev_size">5</property>
    <property name="javascript">simulation_log_pane.js</property>
    <property name="onGeometryChange"/>
    <property name="onHotKey"/>
    <property name="onDockChange"/>
    <widget type="vbox">
      <property name="adjust">auto</property>
      <property name="hightlight">false</property>
      <property name="margin">1</property>
      <property name="scroll">false</property>
      <property name="shadow">true</property>
      <property name="scroll_height">auto</property>
      <property name="scroll_amargin">5</property>
      <property name="scroll_steps">3</property>
      <widget type="hbox">
        <property name="adjust">auto</property>
        <property name="hightlight">false</property>
        <property name="margin">1</property>
        <property name="scroll">false</property>
        <property name="shadow">true</property>
        <property name="scroll_width">auto</property>
        <property name="scroll_amargin">5</property>
        <property name="scroll_steps">3</property>
        <widget type="space">
          <property name="size">auto</property>
        </widget>
        <widget type="pushbutton">
          <property name="name">job_btn</property>
          <property name="label">Job</property>
          <property name="tip"/>
          <property name="bitmap">nil</property>
          <property name="bitmap_align">left</property>
          <property name="width">20</property>
          <property name="height">12</property>
          <property name="adjust">fixed</property>
          <property name="can_check">true</property>
          <property name="default">false</property>
          <property name="flat">false</property>
          <property name="flat_radio">false</property>
          <property name="gray">false</property>
          <property name="toolbutton">false</property>
          <property name="id_alias">6</property>
          <property name="visible">true</property>
          <property name="onClick">OnChangeModel('job')</property>
          <property name="onCheck"/>
          <property name="onContentMenu"/>
          <property name="shadow">false</property>
          <property name="shadow_type">soft</property>
          <property name="enable_bind"/>
          <property name="simple_bind"/>
          <property name="valid_bind"/>
          <property name="visible_bind"/>
          <property name="handle_bind"/>
          <property name="hightlight">false</property>
          <property name="stylesheet">part_btn</property>
        </widget>
        <widget type="pushbutton">
          <property name="name">rea_btn</property>
          <property name="label">Realizations</property>
          <property name="tip"/>
          <property name="bitmap">nil</property>
          <property name="bitmap_align">left</property>
          <property name="width">40</property>
          <property name="height">12</property>
          <property name="adjust">fixed</property>
          <property name="can_check">true</property>
          <property name="default">false</property>
          <property name="flat">false</property>
          <property name="flat_radio">false</property>
          <property name="gray">false</property>
          <property name="toolbutton">false</property>
          <property name="id_alias">7</property>
          <property name="visible">true</property>
          <property name="onClick">OnChangeModel('realizations')</property>
          <property name="onCheck"/>
          <property name="onContentMenu"/>
          <property name="shadow">false</property>
          <property name="shadow_type">soft</property>
          <property name="enable_bind"/>
          <property name="simple_bind"/>
          <property name="valid_bind"/>
          <property name="visible_bind"/>
          <property name="handle_bind"/>
          <property name="hightlight">false</property>
          <property name="stylesheet">part_btn</property>
        </widget>
        <widget type="space">
          <property name="size">auto</property>
        </widget>
      </widget>
      <widget type="stack">
        <property name="name"/>
        <property name="adjust">fixed</property>
        <property name="margin">3</property>
        <property name="border">flat</property>
        <property name="label">Group Box</property>
        <property name="index1_bind"/>
        <property name="hightlight">false</property>
        <widget type="vbox">
          <property name="adjust">auto</property>
          <property name="hightlight">false</property>
          <property name="margin">1</property>
          <property name="scroll">false</property>
          <property name="shadow">true</property>
          <property name="scroll_height">auto</property>
          <property name="scroll_amargin">5</property>
          <property name="scroll_steps">3</property>
          <widget type="vbox">
            <property name="adjust">auto</property>
            <property name="hightlight">false</property>
            <property name="margin">1</property>
            <property name="scroll">false</property>
            <property name="shadow">true</property>
            <property name="scroll_height">auto</property>
            <property name="scroll_amargin">5</property>
            <property name="scroll_steps">3</property>
            <widget type="hbox">
              <property name="adjust">horizontal</property>
              <property name="hightlight">false</property>
              <property name="margin">1</property>
              <property name="scroll">false</property>
              <property name="shadow">true</property>
              <property name="scroll_width">auto</property>
              <property name="scroll_amargin">5</property>
              <property name="scroll_steps">3</property>
              <widget type="pushbutton">
                <property name="name">log_right_btn</property>
                <property name="label"/>
                <property name="tip"/>
                <property name="bitmap">三角符号_右.png</property>
                <property name="bitmap_align">left</property>
                <property name="width">10</property>
                <property name="height">10</property>
                <property name="adjust">fixed</property>
                <property name="can_check">false</property>
                <property name="default">false</property>
                <property name="flat">true</property>
                <property name="flat_radio">false</property>
                <property name="gray">false</property>
                <property name="toolbutton">false</property>
                <property name="id_alias">20</property>
                <property name="visible">true</property>
                <property name="onClick">OnLogModelShow()</property>
                <property name="onCheck"/>
                <property name="onContentMenu"/>
                <property name="shadow">false</property>
                <property name="shadow_type">soft</property>
                <property name="enable_bind"/>
                <property name="simple_bind"/>
                <property name="valid_bind"/>
                <property name="visible_bind"/>
                <property name="handle_bind"/>
                <property name="hightlight">false</property>
                <property name="stylesheet"/>
              </widget>
              <widget type="pushbutton">
                <property name="name">log_down_btn</property>
                <property name="label"/>
                <property name="tip"/>
                <property name="bitmap">三角符号_下.png</property>
                <property name="bitmap_align">left</property>
                <property name="width">10</property>
                <property name="height">10</property>
                <property name="adjust">fixed</property>
                <property name="can_check">false</property>
                <property name="default">false</property>
                <property name="flat">true</property>
                <property name="flat_radio">false</property>
                <property name="gray">false</property>
                <property name="toolbutton">false</property>
                <property name="id_alias">21</property>
                <property name="visible">true</property>
                <property name="onClick">OnLogModelHide()</property>
                <property name="onCheck"/>
                <property name="onContentMenu"/>
                <property name="shadow">false</property>
                <property name="shadow_type">soft</property>
                <property name="enable_bind"/>
                <property name="simple_bind"/>
                <property name="valid_bind"/>
                <property name="visible_bind"/>
                <property name="handle_bind"/>
                <property name="hightlight">false</property>
                <property name="stylesheet"/>
              </widget>
              <widget type="label">
                <property name="name"/>
                <property name="text">Solver Log</property>
                <property name="tip"/>
                <property name="id_alias">22</property>
                <property name="width">19</property>
                <property name="height">8</property>
                <property name="adjust">fixed</property>
                <property name="auto_width">true</property>
                <property name="align">left</property>
                <property name="gray">false</property>
                <property name="visible">true</property>
                <property name="handle_bind"/>
                <property name="simple_bind"/>
                <property name="visible_bind"/>
                <property name="hightlight">false</property>
                <property name="stylesheet"/>
              </widget>
              <widget type="space">
                <property name="size">auto</property>
              </widget>
            </widget>
            <widget type="stack">
              <property name="name">log_stk</property>
              <property name="adjust">fixed</property>
              <property name="margin">3</property>
              <property name="border">flat</property>
              <property name="label">Group Box</property>
              <property name="index1_bind"/>
              <property name="hightlight">false</property>
              <widget type="vbox">
                <property name="adjust">auto</property>
                <property name="hightlight">false</property>
                <property name="margin">1</property>
                <property name="scroll">false</property>
                <property name="shadow">true</property>
                <property name="scroll_height">auto</property>
                <property name="scroll_amargin">5</property>
                <property name="scroll_steps">3</property>
                <widget type="scintilla">
                  <property name="name"/>
                  <property name="id_alias">33</property>
                  <property name="width">50</property>
                  <property name="height">50</property>
                  <property name="autoCompleteDocument">false</property>
                  <property name="adjust">auto</property>
                  <property name="flat">false</property>
                  <property name="line_number">true</property>
                  <property name="readonly">false</property>
                  <property name="wrap">false</property>
                  <property name="gray">false</property>
                  <property name="visible">true</property>
                  <property name="onChange"/>
                  <property name="onCusorChange"/>
                  <property name="onSelectionChange"/>
                  <property name="hightlight">false</property>
                  <property name="stylesheet"/>
                </widget>
              </widget>
            </widget>
          </widget>
          <widget type="vbox">
            <property name="adjust">auto</property>
            <property name="hightlight">false</property>
            <property name="margin">1</property>
            <property name="scroll">false</property>
            <property name="shadow">true</property>
            <property name="scroll_height">auto</property>
            <property name="scroll_amargin">5</property>
            <property name="scroll_steps">3</property>
            <widget type="hbox">
              <property name="adjust">horizontal</property>
              <property name="hightlight">false</property>
              <property name="margin">1</property>
              <property name="scroll">false</property>
              <property name="shadow">true</property>
              <property name="scroll_width">auto</property>
              <property name="scroll_amargin">5</property>
              <property name="scroll_steps">3</property>
              <widget type="pushbutton">
                <property name="name">warnings_right_btn</property>
                <property name="label"/>
                <property name="tip"/>
                <property name="bitmap">三角符号_右.png</property>
                <property name="bitmap_align">left</property>
                <property name="width">10</property>
                <property name="height">10</property>
                <property name="adjust">fixed</property>
                <property name="can_check">false</property>
                <property name="default">false</property>
                <property name="flat">true</property>
                <property name="flat_radio">false</property>
                <property name="gray">false</property>
                <property name="toolbutton">false</property>
                <property name="id_alias">25</property>
                <property name="visible">true</property>
                <property name="onClick">OnWarningModelShow()</property>
                <property name="onCheck"/>
                <property name="onContentMenu"/>
                <property name="shadow">false</property>
                <property name="shadow_type">soft</property>
                <property name="enable_bind"/>
                <property name="simple_bind"/>
                <property name="valid_bind"/>
                <property name="visible_bind"/>
                <property name="handle_bind"/>
                <property name="hightlight">false</property>
                <property name="stylesheet"/>
              </widget>
              <widget type="pushbutton">
                <property name="name">warnings_down_btn</property>
                <property name="label"/>
                <property name="tip"/>
                <property name="bitmap">三角符号_下.png</property>
                <property name="bitmap_align">left</property>
                <property name="width">10</property>
                <property name="height">10</property>
                <property name="adjust">fixed</property>
                <property name="can_check">false</property>
                <property name="default">false</property>
                <property name="flat">true</property>
                <property name="flat_radio">false</property>
                <property name="gray">false</property>
                <property name="toolbutton">false</property>
                <property name="id_alias">26</property>
                <property name="visible">true</property>
                <property name="onClick">OnWarningModelHide()</property>
                <property name="onCheck"/>
                <property name="onContentMenu"/>
                <property name="shadow">false</property>
                <property name="shadow_type">soft</property>
                <property name="enable_bind"/>
                <property name="simple_bind"/>
                <property name="valid_bind"/>
                <property name="visible_bind"/>
                <property name="handle_bind"/>
                <property name="hightlight">false</property>
                <property name="stylesheet"/>
              </widget>
              <widget type="label">
                <property name="name"/>
                <property name="text">Solver Warnings</property>
                <property name="tip"/>
                <property name="id_alias">27</property>
                <property name="width">19</property>
                <property name="height">8</property>
                <property name="adjust">fixed</property>
                <property name="auto_width">true</property>
                <property name="align">left</property>
                <property name="gray">false</property>
                <property name="visible">true</property>
                <property name="handle_bind"/>
                <property name="simple_bind"/>
                <property name="visible_bind"/>
                <property name="hightlight">false</property>
                <property name="stylesheet"/>
              </widget>
              <widget type="space">
                <property name="size">auto</property>
              </widget>
            </widget>
            <widget type="stack">
              <property name="name">warnings_stk</property>
              <property name="adjust">fixed</property>
              <property name="margin">3</property>
              <property name="border">flat</property>
              <property name="label">Group Box</property>
              <property name="index1_bind"/>
              <property name="hightlight">false</property>
            </widget>
          </widget>
          <widget type="vbox">
            <property name="adjust">auto</property>
            <property name="hightlight">false</property>
            <property name="margin">1</property>
            <property name="scroll">false</property>
            <property name="shadow">true</property>
            <property name="scroll_height">auto</property>
            <property name="scroll_amargin">5</property>
            <property name="scroll_steps">3</property>
            <widget type="hbox">
              <property name="adjust">horizontal</property>
              <property name="hightlight">false</property>
              <property name="margin">1</property>
              <property name="scroll">false</property>
              <property name="shadow">true</property>
              <property name="scroll_width">auto</property>
              <property name="scroll_amargin">5</property>
              <property name="scroll_steps">3</property>
              <widget type="pushbutton">
                <property name="name">monitor_right_btn</property>
                <property name="label"/>
                <property name="tip"/>
                <property name="bitmap">三角符号_右.png</property>
                <property name="bitmap_align">left</property>
                <property name="width">10</property>
                <property name="height">10</property>
                <property name="adjust">fixed</property>
                <property name="can_check">false</property>
                <property name="default">false</property>
                <property name="flat">true</property>
                <property name="flat_radio">false</property>
                <property name="gray">false</property>
                <property name="toolbutton">false</property>
                <property name="id_alias">29</property>
                <property name="visible">true</property>
                <property name="onClick">OnMonitorModelShow()</property>
                <property name="onCheck"/>
                <property name="onContentMenu"/>
                <property name="shadow">false</property>
                <property name="shadow_type">soft</property>
                <property name="enable_bind"/>
                <property name="simple_bind"/>
                <property name="valid_bind"/>
                <property name="visible_bind"/>
                <property name="handle_bind"/>
                <property name="hightlight">false</property>
                <property name="stylesheet"/>
              </widget>
              <widget type="pushbutton">
                <property name="name">monitor_down_btn</property>
                <property name="label"/>
                <property name="tip"/>
                <property name="bitmap">三角符号_下.png</property>
                <property name="bitmap_align">left</property>
                <property name="width">10</property>
                <property name="height">10</property>
                <property name="adjust">fixed</property>
                <property name="can_check">false</property>
                <property name="default">false</property>
                <property name="flat">true</property>
                <property name="flat_radio">false</property>
                <property name="gray">false</property>
                <property name="toolbutton">false</property>
                <property name="id_alias">30</property>
                <property name="visible">true</property>
                <property name="onClick">OnMonitorModelHide()</property>
                <property name="onCheck"/>
                <property name="onContentMenu"/>
                <property name="shadow">false</property>
                <property name="shadow_type">soft</property>
                <property name="enable_bind"/>
                <property name="simple_bind"/>
                <property name="valid_bind"/>
                <property name="visible_bind"/>
                <property name="handle_bind"/>
                <property name="hightlight">false</property>
                <property name="stylesheet"/>
              </widget>
              <widget type="label">
                <property name="name"/>
                <property name="text">Solver Monitor</property>
                <property name="tip"/>
                <property name="id_alias">31</property>
                <property name="width">19</property>
                <property name="height">8</property>
                <property name="adjust">fixed</property>
                <property name="auto_width">true</property>
                <property name="align">left</property>
                <property name="gray">false</property>
                <property name="visible">true</property>
                <property name="handle_bind"/>
                <property name="simple_bind"/>
                <property name="visible_bind"/>
                <property name="hightlight">false</property>
                <property name="stylesheet"/>
              </widget>
              <widget type="space">
                <property name="size">auto</property>
              </widget>
            </widget>
            <widget type="stack">
              <property name="name">monitor_stk</property>
              <property name="adjust">fixed</property>
              <property name="margin">3</property>
              <property name="border">flat</property>
              <property name="label">Group Box</property>
              <property name="index1_bind"/>
              <property name="hightlight">false</property>
            </widget>
          </widget>
        </widget>
        <widget type="vbox">
          <property name="adjust">auto</property>
          <property name="hightlight">false</property>
          <property name="margin">1</property>
          <property name="scroll">false</property>
          <property name="shadow">true</property>
          <property name="scroll_height">auto</property>
          <property name="scroll_amargin">5</property>
          <property name="scroll_steps">3</property>
        </widget>
      </widget>
    </widget>
  </widget>
</kul_pkg>