Glide is the easiest way to create useful slide for all of your Gists.
- input key
<-to go backward. - input key
->to go forward.
| KeyCombination copyKey = KeyCombination.valueOf("Shortcut+c"); | |
| copyMenu.setAccelerator(copyKey); |
| Dim a = Date.Parse("09:00") | |
| Dim b = Date.Parse("17:00") | |
| Dim c = Date.Parse("01:00").TimeOfDay | |
| Dim d = b - a - c |
| LocalTime a = LocalTime.parse("09:00"); | |
| LocalTime b = LocalTime.parse("17:00"); | |
| Duration c = Duration.between(LocalTime.MIN, LocalTime.parse("01:00")); | |
| Duration d = Duration.between(a, b).minus(c); |
| // 月オブジェクトを取得 | |
| YearMonth currentMonth = YearMonth.now(); | |
| YearMonth backMonth = currentMonth.minusMonths(1); | |
| YearMonth nextMonth = currentMonth.plusMonths(1); | |
| // 日オブジェクトを取得 | |
| LocalDate firstDay = currentMonth.atDay(1); | |
| LocalDate endDay = currentMonth.atEndOfMonth(); | |
| LocalDate endDay2 = currentMonth.atDay(currentMonth.lengthOfMonth()); |
| public static final DateTimeFormatter TIME_PATTERN = DateTimeFormatter.ofPattern("HHmm"); | |
| public BigDecimal getRealKosu() { | |
| LocalTime start = LocalTime.parse(strTime, TIME_PATTERN); | |
| LocalTime end = LocalTime.parse(endTime, TIME_PATTERN); | |
| LocalTime rest = LocalTime.parse(restTime, TIME_PATTERN); | |
| Duration du = Duration.between(start, end); | |
| Duration du2 = Duration.between(LocalTime.MIN, rest); | |
| Duration du3 = du.minus(du2); | |
| return new BigDecimal(du3.toMinutes() / 60.0); |
| IRCClient bot = new IRCClient(config.json); | |
| bot.addServer(name, host, port, nick, user, real, encoding, tls, rooms); | |
| bot.addListener("join", new IRCListener() { | |
| handle(IRCMessage msg) { | |
| String line = msg.read(); | |
| msg.send("hello!"); | |
| } | |
| }): | |
| IRCNameManager nameManager = new IRCNameManager(); | |
| nameManager.addListener(new IRCListener(){ |
| .quest { | |
| position:relative; | |
| margin:10px ; | |
| } | |
| .content { | |
| } | |
| .title { | |
| font-size:16px; |
| (function(){ | |
| var link = location.href; | |
| var title = window.getSelection() + '' || document.title; | |
| //var text = window.getSelection(); | |
| var quote = title + ' ' + link + ' '; | |
| //var total = {}; | |
| //var year = '2012'; | |
| //var all = false; | |
| var nick = 'たーちゃん'; | |
| function init() { |
| (function(){ | |
| var total = {}; | |
| var year = '2012'; | |
| var all = false; | |
| function init(num) { | |
| if(typeof num !== 'number') { | |
| num = 0; | |
| $('<div/>').css({ | |
| position: 'fixed', | |
| left: 0, |