Cat: Open type window on "type" hotkey [1015670]

17
LINES

< > BotCompany Repo | #1015670 // Cat: Open type window on "type" hotkey

JavaX source code (desktop) [tags: use-pretranspiled] - run with: x30.jar

Download Jar. Uses 4281K of libraries. Click here for Pure Java version (9838L/71K).

!7

static JComponent form;

p-subst {
  autoRestart();
  onGlobalHotKey(hotKey_type_orChoose(), r-awt {
    if (!activateFrame(form)) {
      final JTextField tf = jtextfield();
      form = showFormTitled("Yup!", "Hello.", tf, r {
        katze_userTyped(getText(tf))
      });
      centerFrame(setFrameWidth(600, packFrameVertically(addToWindowLeft(form, withMargin(jimage(#1101265))))));
    }
  });
  jimage(#1101265); // preload image
}

Author comment

Began life as a copy of #1010770

download show line numbers debug dex old transpilations

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

No comments. add comment

Snippet ID:	#1015670
Snippet name:	Cat: Open type window on "type" hotkey
Eternal ID of this version:	#1015670/15
Text MD5:	019d5dee1f8566ad130d74d5cf0a3db3
Transpilation MD5:	d749426f4e3dc183c71aac8930a821a2
Author:	stefan
Category:	javax / gui
Type:	JavaX source code (desktop)
Public (visible to everyone):	Yes
Archived (hidden from active list):	No
Created/modified:	2018-05-21 12:17:23
Source code size:	459 bytes / 17 lines
Pitched / IR pitched:	No / No
Views / Downloads:	423 / 1102
Version history:	14 change(s)
Referenced in:	[show references]

1	!7
2
3	static JComponent form;
4
5	p-subst {
6	autoRestart();
7	onGlobalHotKey(hotKey_type_orChoose(), r-awt {
8	if (!activateFrame(form)) {
9	final JTextField tf = jtextfield();
10	form = showFormTitled("Yup!", "Hello.", tf, r {
11	katze_userTyped(getText(tf))
12	});
13	centerFrame(setFrameWidth(600, packFrameVertically(addToWindowLeft(form, withMargin(jimage(#1101265))))));
14	}
15	});
16	jimage(#1101265); // preload image
17	}