11 Commits (45f7a4fc8dfc469e5686e22d8feeda044f93d801)

Author SHA1 Message Date
Hisham Muhammad 45f7a4fc8d Remove old memory debugging routines. We have Valgrind nowadays. 14 years ago
Hisham Muhammad 84281bdc44 major header cleanup 14 years ago
Hisham Muhammad 81e44312b4 Use strdup explicitly 14 years ago
Hisham Muhammad bfd86a60cc Keep panel structure up-to-date as process list changes when headers are updated during the screen manager. Hopefully closes #3444533. 14 years ago
Hisham Muhammad 02a30bfecd warning fixes 16 years ago
Hisham Muhammad 15ab0ad706 Let mouseclicks tick/untick checkboxes 18 years ago
Hisham Muhammad da23c8c5a1 Clean up headers by using 'static' whenever possible. 18 years ago
Hisham Muhammad a7c2aedcec Improve construction of tree view, properly nesting threads. 19 years ago
Hisham Muhammad 2f1f82ee87 Updates for new version of the MakeHeader.py script. 20 years ago
Hisham Muhammad 9da282d748 Remove references to ListBox 20 years ago
Hisham Muhammad 73de9f1ed4 Rename ListBox'es to Panel's, matching dit. 20 years ago
Hisham Muhammad c2cdcd0c1d Rename ListBox to Panel, matching dit. 20 years ago
Hisham Muhammad a853faaa2d Rename TypedVector to Vector, matching dit. 20 years ago
Hisham Muhammad 69b1278c59 Fix: request save of config file when changing colors. 20 years ago
Hisham Muhammad 130938f691 Fixes for header generation. 20 years ago
Hisham Muhammad d6231bab89 Initial import. 20 years ago