Search Results for "system font"

dracxterm is a terminal for Android. Open it and a shell is waiting. If you want a full Linux, the app installs Debian 13 or Kali inside its own storage, and you work as you would on a computer. The phone does not need root, and there is no account to create. Version 1.1.0 adds claw, an assistant you chat with in the terminal. It uses free model services that need no account, and you choose what it may touch on the AI (claw) page in xset. Programs like nano and htop look right, UTF-8...

jupyter-themes brings theme management to classic Jupyter Notebooks with a command-line tool that can restyle the interface, code cells, and UI chrome in seconds. It ships a catalog of popular dark and light themes and lets you customize fonts, font sizes, cell widths, and toolbar visibility so the notebook matches your preferred reading and coding ergonomics. The theming system adjusts CodeMirror syntax highlighting to keep code legible against chosen backgrounds and provides options to harmonize matplotlib/plotly colors for cohesive visuals. Installation and usage are streamlined through a single jt command, with flags to set or preview themes and a built-in restore option to return to defaults. ...

A simple font chooser for Tkinter that allow the user to select the font family among the fonts available on his/her system. The size and style (bold, italic, underline, strikethrough) of the text can be set too. This module contains a `FontChooser` class which implements the font chooser and an `askfont` function that displays the font chooser and returns the chosen font when the user closes the font chooser.

Crazy Eddie's GUI (CEGUI) system is a graphical user interface C++ library. It was designed particularly for the needs of videogames, but the library is usable for non-game tasks, such as any other type of applications (rendering/visualisation/virtual reality) and tools. It is designed for user flexibility in look-and-feel, as well as being adaptable to the user's choice in tools and operating systems. Established in 2003, CEGUI sees continual, active development and remains one of the...