18 Commits (71ad9b304db9aa4ece7c7b5aa75d1d8fade9d00a)

Author SHA1 Message Date
Hisham Muhammad f6c31eeaf5 Handle KEY_RECLICK events generated by ScreenManager 11 years ago
Hisham Muhammad 0ebe688d24 Avoid future confusions with how default values are set. 11 years ago
Hisham Muhammad b1f934c5d5 Visual tweaks: change color when following, add Broken Gray theme. 11 years ago
Hisham Muhammad d0c72c3fb2 Move FunctionBar inside Panel 11 years ago
Hisham Muhammad f5f29ceeb9 Make the implementation of color schemes declarative. 11 years ago
Hisham Muhammad 3383d8e556 Sorry about the mega-patch. 11 years ago
Hisham Muhammad 00b324bfc1 Changes in object model: separate class objects to store vtable. Also, nicer UTF-8 display of big numbers. 13 years ago
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