MCPcopy Create free account
hub / github.com/MiniZinc/MiniZincIDE / codeeditor.h

File codeeditor.h

MiniZincIDE/codeeditor.h:None–None  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1/*
2 * Author:
3 * Guido Tack <guido.tack@monash.edu>
4 *

Callers

nothing calls this directly

Calls 1

paintHeaderMethod · 0.80

Tested by

no test coverage detected