<C-E>s1 か <C-E>s6 で現在行をセクション変換にできる。(現在行をセクションに変換する)
デフォルトでは、セクションに使用する文字は、 = - ~ " ' ` の順
セクションへのリンク(例: `セクション`_ )上で、Enter を押下でセクションへジャンプできる。
grid-tableの作成や編集がかなり楽に出来る。
| fun runs(a : IntArray) : Int { | |
| return a.zip(a.drop(1)).count { it.first != it.second } + 1 | |
| } |
| package yank | |
| fun runs(a: IntArray): Int { | |
| return a.answer({(i: Int): Boolean -> i < a.size && a.get(i) != a.get(i + 1) }) | |
| } | |
| fun IntArray.answer(filter: (i: Int) -> Boolean): Int { | |
| var result = | |
| when (this.size) { | |
| 0 -> 0 |
| import java.util.Random | |
| private val INPUT = arrayListOf("ジョ", "ン", "ボ", "ヴィ") | |
| private val RANDOM = Random() | |
| fun main(args: Array<String>) { | |
| var count = 0 | |
| val generator: () -> String = { | |
| count++ | |
| stream {() -> RANDOM.nextInt(INPUT.size) } |
| package gist; | |
| import java.io.Serializable; | |
| import java.util.Arrays; | |
| import java.util.List; | |
| import java.util.Random; | |
| import java.util.function.Supplier; | |
| import java.util.stream.Collectors; | |
| import java.util.stream.Stream; |
| package gist; | |
| import java.util.Arrays; | |
| import java.util.List; | |
| import java.util.Random; | |
| import java.util.function.Supplier; | |
| import java.util.stream.Collectors; | |
| public class BonJobi { |
| package fibo | |
| fun fibo(max:Int):Stream<Pair<Int, Int>> { | |
| return stream(Pair(0, 1)) { | |
| val next = it.first + it.second | |
| if (next < max) { | |
| Pair(it.second, next) | |
| } else { | |
| null | |
| } |
| <?xml version="1.0" encoding="UTF-8"?> | |
| <scheme name="siosioColor" version="124" parent_scheme="Default"> | |
| <option name="LINE_SPACING" value="1.1" /> | |
| <option name="EDITOR_FONT_SIZE" value="15" /> | |
| <option name="CONSOLE_LINE_SPACING" value="1.0" /> | |
| <option name="EDITOR_QUICK_DOC_FONT_SIZE" value="MEDIUM" /> | |
| <option name="EDITOR_FONT_NAME" value="Ricty" /> | |
| <colors> | |
| <option name="ADDED_LINES_COLOR" value="ffdffc" /> | |
| <option name="ANNOTATIONS_COLOR" value="bfbfbf" /> |
| package ex; | |
| import java.io.IOException; | |
| import java.io.PrintWriter; | |
| import javax.servlet.Servlet; | |
| import javax.servlet.ServletException; | |
| import javax.servlet.annotation.WebServlet; | |
| import javax.servlet.http.HttpServlet; | |
| import javax.servlet.http.HttpServletRequest; |
| FileEditorManagerEx ex = FileEditorManagerEx.getInstanceEx(element.getProject()); | |
| VirtualFile file = ex.getCurrentFile(); |