Private

Server IP : 195.201.23.43 / Your IP : 3.17.61.107
Web Server : Apache
System : Linux webserver2.vercom.be 5.4.0-192-generic #212-Ubuntu SMP Fri Jul 5 09:47:39 UTC 2024 x86_64
User : kdecoratie ( 1041)
PHP Version : 7.1.33-63+ubuntu20.04.1+deb.sury.org+1
Disable Function : pcntl_alarm,pcntl_fork,pcntl_waitpid,pcntl_wait,pcntl_wifexited,pcntl_wifstopped,pcntl_wifsignaled,pcntl_wifcontinued,pcntl_wexitstatus,pcntl_wtermsig,pcntl_wstopsig,pcntl_signal,pcntl_signal_get_handler,pcntl_signal_dispatch,pcntl_get_last_error,pcntl_strerror,pcntl_sigprocmask,pcntl_sigwaitinfo,pcntl_sigtimedwait,pcntl_exec,pcntl_getpriority,pcntl_setpriority,pcntl_async_signals,
MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : ON
Directory : /usr/share/webmin/proc/

Upload File :

[ HOME SHELL ]

Current File : /usr/share/webmin/proc/BorderPanel.java

import java.awt.*;

class BorderPanel extends Panel
{
	int border = 5;	// size of border
	Color col1 = Util.light_edge;
	Color col2 = Util.dark_edge;
	Color body;

	BorderPanel()
	{
	}

	BorderPanel(int w)
	{
	border = w;
	}

	BorderPanel(int w, Color cb)
	{
	border = w;
	body = cb;
	}

	BorderPanel(int w, Color c1, Color c2)
	{	
	border = w;
	col1 = c1; col2 = c2;
	}

	BorderPanel(int w, Color c1, Color c2, Color cb)
	{
	border = w;
	col1 = c1; col2 = c2; body = cb;
	}

	BorderPanel(Color c1, Color c2)
	{
	col1 = c1; col2 = c2;
	}

	public Insets insets()
	{
	return new Insets(border+2, border+2, border+2, border+2);
	}

	public void paint(Graphics g)
	{
	if (body != null) {
		g.setColor(body);
		g.fillRect(0, 0, size().width, size().height);
		}
	super.paint(g);
	int w = size().width-1, h = size().height-1;
	g.setColor(col1);
	for(int i=0; i<border; i++) {
		g.drawLine(i,i,w-i,i);
		g.drawLine(i,i,i,h-i);
		}
	g.setColor(col2);
	for(int i=0; i<border; i++) {
		g.drawLine(w-i,h-i, w-i,i);
		g.drawLine(w-i,h-i, i,h-i);
		}
	}
}

Private