wmayer b0ca5f3e3b Gui: [skip ci] use defined font when creating text editor

2019-12-20 12:41:24 +01:00

..

3rdParty

reset define NETGEN_PYTHON to avoid hard dependency to pybind11

2019-11-02 11:29:10 +01:00

App

Gui: allow to set font family and size and syntax highlighting

2019-12-19 23:17:46 +01:00

Base

Python: change generation of callback functions for class or static methods

2019-12-19 17:55:12 +01:00

Build

Improve Version.h handling

2019-08-17 15:08:33 +02:00

CXX

core system

2019-09-18 01:01:14 +02:00

Doc

…

Ext

…

Gui

Gui: [skip ci] use defined font when creating text editor

2019-12-20 12:41:24 +01:00

MacAppBundle

…

Main

Added <last> as an option to the workbench selection.

2019-11-01 17:42:14 -03:00

Mod

Mod: gitattributes, add some more comments

2019-12-19 22:40:05 +01:00

Tools

Python: change generation of callback functions for class or static methods

2019-12-19 17:55:12 +01:00

WindowsInstaller

InstallerStructure: update according to current state

2019-11-29 14:44:12 +01:00

XDGData

…

zipios++

Fix -Wdeprecated-copy warnings (rule of 5/3/0)

2019-10-20 17:02:17 +02:00

boost_any_1_55.hpp

…

CMakeLists.txt

…

fc.sh

…

FCConfig.h

…

QtOpenGL.h.cmake

…