mirror of
https://github.com/php/php-src.git
synced 2024-09-24 11:27:28 +00:00
fix layout
This commit is contained in:
parent
167f6e0c25
commit
921c73aeda
BIN
tutorials/java/dist/phpdbg-ui.jar
vendored
BIN
tutorials/java/dist/phpdbg-ui.jar
vendored
Binary file not shown.
@ -124,6 +124,14 @@
|
||||
<Layout class="org.netbeans.modules.form.compat2.layouts.support.JScrollPaneSupportLayout"/>
|
||||
<SubComponents>
|
||||
<Component class="phpdbg.ui.JTerminalPane" name="output">
|
||||
<Properties>
|
||||
<Property name="font" type="java.awt.Font" editor="org.netbeans.beaninfo.editors.FontEditor">
|
||||
<Font name="DialogInput" size="12" style="0"/>
|
||||
</Property>
|
||||
<Property name="componentPopupMenu" type="javax.swing.JPopupMenu" editor="org.netbeans.modules.form.ComponentChooserEditor">
|
||||
<ComponentRef name="stdoutPopupMenu"/>
|
||||
</Property>
|
||||
</Properties>
|
||||
</Component>
|
||||
</SubComponents>
|
||||
</Container>
|
||||
|
@ -89,6 +89,8 @@ public class JConsole extends javax.swing.JDialog {
|
||||
});
|
||||
mainSplit.setLeftComponent(input);
|
||||
|
||||
output.setFont(new java.awt.Font("DialogInput", 0, 12)); // NOI18N
|
||||
output.setComponentPopupMenu(stdoutPopupMenu);
|
||||
outputScrollPane.setViewportView(output);
|
||||
|
||||
mainSplit.setRightComponent(outputScrollPane);
|
||||
|
Loading…
Reference in New Issue
Block a user