Miguel de Dios Matias

Results 35 issues of Miguel de Dios Matias

I have checked the emojione data and nobody can use the "free" version for commercial purposes. From their web: > These icons are free for personal use or commercial testing...

Hi. I trying the last versions of Goxel. And I don't know if there is a feature to import a layer from other goxel file or a cli tool to...

enhancement

Hi. ~~I thought that there was this feature in Goxel.~~ ~~I don't the technical name, but there is something similar in Blender.~~ ~~For example in this video:~~ https://www.youtube.com/watch?v=-49fRP1Y5TI It is...

Hi. I have been making a proof of concept of i18n in a branch: https://github.com/mdtrooper/goxel/tree/i18n It runs fine, but: * I don't know how is work the gettext in windows...

Hi. I have been working to add the ASCII art images class. The main work is not mine, it is from (jsAscii 0.1 - Copyright (c) 2008 Jacob Seidelin, [email protected],...

Hi. I have a tiny test. The next code puts a text in the bottom of terminal with [urwid](https://github.com/urwid/urwid): ```python import urwid def exit_on_q(key): if key in ('q', 'Q'): raise...

enhancement

I change a lot of code to add the pipe feature. This example shows the new feature (and argument -i or --pipe): ```json { "cells": [ { "cell_type": "code", "execution_count":...

**Platform**: Linux **Build**: 7.0 Build 140.3 **Issue**: The tech tree (erekir) screen show a red node between Tungsten and Surge Alloy. ![image](https://user-images.githubusercontent.com/1285451/202670961-f915aabe-3427-4353-8b96-622707342a23.png) **Steps to reproduce**: Playing the campain in the...

bug

**Platform**: Linux **Build**: *140.3 **Issue**: Some keyboards (spanish for example) has not a key for [, it is Alt Gr + `. ![image](https://user-images.githubusercontent.com/1285451/201652973-bcb75467-5a63-4985-8686-e0e7a8357fe6.png) And the mindustry keybind settings screen catchs...

bug

Hi. I want a method to get the selection text in the page without know if there is a textarea or html text. Something that: ``` var text = $(document).selection();...