mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 03:21:12 +07:00
use Swing border instead of HTML margins
This commit is contained in:
@@ -54,6 +54,7 @@ public class TipPanel extends JPanel implements DoNotAskOption {
|
||||
setBorder(JBUI.Borders.customLine(xD0, 1, 0, 0, 0));
|
||||
}
|
||||
myBrowser = TipUIUtil.createTipBrowser();
|
||||
myBrowser.setBorder(JBUI.Borders.empty(8, 12));
|
||||
JScrollPane scrollPane = ScrollPaneFactory.createScrollPane(myBrowser, true);
|
||||
scrollPane.setBorder(JBUI.Borders.customLine(DIVIDER_COLOR, 0, 0, 1, 0));
|
||||
add(scrollPane, BorderLayout.CENTER);
|
||||
|
||||
@@ -1,6 +1,5 @@
|
||||
body {
|
||||
/*background: #ffffff;*/
|
||||
margin: 5px 2px 6px 15px;
|
||||
}
|
||||
h1, p, ul {
|
||||
font-family: 'MS Reference Sans Serif', verdana, arial, sans-serif;
|
||||
|
||||
@@ -14,7 +14,6 @@
|
||||
* limitations under the License.
|
||||
*/
|
||||
body {
|
||||
margin: 5px 2px 6px 15px;
|
||||
color: #bbbbbb;
|
||||
}
|
||||
h1, p, ul {
|
||||
|
||||
@@ -1,6 +1,5 @@
|
||||
body {
|
||||
/*background: #ffffff;*/
|
||||
margin: 5px 2px 6px 15px;
|
||||
}
|
||||
h1, p, ul {
|
||||
font-family: 'MS Reference Sans Serif', verdana, arial, sans-serif;
|
||||
|
||||
@@ -14,7 +14,6 @@
|
||||
* limitations under the License.
|
||||
*/
|
||||
body {
|
||||
margin: 5px 2px 6px 15px;
|
||||
color: #bbbbbb;
|
||||
}
|
||||
h1, p, ul {
|
||||
|
||||
@@ -1,6 +1,5 @@
|
||||
body {
|
||||
/*background: #ffffff;*/
|
||||
margin: 5px 2px 6px 15px;
|
||||
}
|
||||
h1, p, ul {
|
||||
font-family: 'MS Reference Sans Serif', verdana, arial, sans-serif;
|
||||
|
||||
@@ -14,7 +14,6 @@
|
||||
* limitations under the License.
|
||||
*/
|
||||
body {
|
||||
margin: 5px 2px 6px 15px;
|
||||
color: #bbbbbb;
|
||||
}
|
||||
h1, p, ul {
|
||||
|
||||
Reference in New Issue
Block a user