Not logged in.  Login/Logout/Register | List snippets | | Create snippet | Upload image | Upload data

3
LINES

< > BotCompany Repo | #1004965 // consoleMargin - set margin around console text area

JavaX fragment (include)

static void consoleMargin(int margin) {
  call(getConsoleTextArea_gen(), "setBorder", BorderFactory.createEmptyBorder(margin, margin, margin, margin));
}

download  show line numbers  debug dex  old transpilations   

Travelled to 14 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, cfunsshuasjs, ddnzoavkxhuk, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt

No comments. add comment

Snippet ID: #1004965
Snippet name: consoleMargin - set margin around console text area
Eternal ID of this version: #1004965/1
Text MD5: c13c8ad10bd8598d4af40bce73213245
Author: stefan
Category: javax / gui
Type: JavaX fragment (include)
Public (visible to everyone): Yes
Archived (hidden from active list): No
Created/modified: 2016-09-19 01:46:07
Source code size: 155 bytes / 3 lines
Pitched / IR pitched: No / No
Views / Downloads: 540 / 545
Referenced in: [show references]