Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2012-06-04 | support scrolling of the transcript widget via scroll wheels | Robin Haberkorn | 1 | -0/+34 |
2012-06-04 | only save transcript widget font and colors if they have been changed (via ke... | Robin Haberkorn | 1 | -0/+1 |
2012-06-04 | load default interactive format font and colors from config file and also sav... | Robin Haberkorn | 1 | -0/+11 |
2012-05-30 | implemented "format" file and expression parsing as well as application to th... | Robin Haberkorn | 1 | -69/+48 |
2012-05-30 | implemented font and color configuration for transcript widget | Robin Haberkorn | 1 | -4/+154 |
2012-05-30 | workaround: manually invoke configure-event callback from realize-event callback | Robin Haberkorn | 1 | -0/+3 |
2012-05-30 | first draft of transcript widget | Robin Haberkorn | 1 | -0/+468 |