jEdit работает на OS X, будучи основанным на Java. Это несколько подобно TextMate, я думаю.
Editra выглядит интересным, но я не попробовал его сам.
Оглядываясь назад на некоторые другие вопросы SO, кажется, что это проблема Java-on-Windows. Пожалуйста, прочтите эту статью , особенно ответ 1, который указывает на ссылку в Википедии, которая может решить вашу проблему с отображением.
См. Ниже
-121--4294403- GMT + 02:00 - это пользовательский идентификатор, он не будет отображаться в выводе TimeZone.getAvailableIDs ()
(который огромен). Что вы можете сделать, так это попросить пользователя сначала указать свое смещение, а затем получить доступные идентификаторы для данного смещения. Например, для GMT + 02: 00 следующий фрагмент кода:
Как насчет использования TimeZone.getAvailableIDs (), сгруппировать их по части перед косой чертой и сделать выбор в два этапа?
Любой часовой пояс может быть указан как «GMT» плюс / минус смещение. В документе о часовом поясе это называется «пользовательский идентификатор».
Чтобы заполнить раскрывающийся список, я думаю, вам лучше придумать конкретный список городов / смещений с ассоциация с часовым поясом. Массив, возвращаемый getAvailableIDs ()
, огромен - 586 записей в моей установке - и вы определенно не хотите заставлять своих пользователей проделывать это.