Search Results for "java runtime environment"

This is a collection of programming fonts, just share this with the programmers. Now there are 108 kinds of fantastic fonts! If you have a try of another kind of programming font, maybe you can have a new different feeling of coding which will make you feel fabulous, so just have a try! Monospaced is the most important feature for programming fonts because monospaced fonts are easy for coding and must be easy to check or align or compare. Most of the important and popular programming...

Implementation of a TextView and all its direct/indirect subclasses with native support for the Roboto fonts, including the brand-new Roboto Slab fonts. This library is compatible from API 14 (Android 4.0). To apply roboto typeface for original TextView (like a Calligraphy) you must attach inflater in your Activity class in the #onCreate() method. If you intend to use is not all fonts, the extra fonts can be removed.

Are you fed up of Custom Views to set fonts? Or traversing the ViewTree to find TextViews? Calligraphy is a library of custom fonts in Android an OK way. Add your custom fonts to assets/. All font definitions are relative to this path. Assuming that you are using Gradle you should create the assets directory under src/main/ in your project directory if it does not already exist. As it's popular to use multi-project build with Gradle the path is usually app/src/main/assets/, where app is the...

Brahmi project aims at producing Java Input Methods and OpenType fonts for Indian languages. They are bundled with Brahmi - Word Processor which installs the fonts, Input Methods and font.properties files

Replacer es una utilidad para reemplazar texto en ficheros, útil cuando hay que aplicar dicha función a un conjunto de ficheros. Permitiendo el uso de expresiones regulares, hace posibe cualquier operación masiva sobre las líneas de los mismos. Sustituir una cadena de caracteres por otra en un directorio de ficheros voluminosos de manera genérica, es la tarea más fácil que se puede realizar con Replacer. Puede localizar fechas ([\\d]+/[\\d]+/[\\d]+), direcciones web...