"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "src/Kernel/Abstractions/basic.cpp" between
TeXmacs-1.99.4-src.tar.gz and TeXmacs-1.99.5-src.tar.gz

About: GNU TeXmacs is a what-you-see-is-what-you-get scientific text editor, which was both inspired by TeX and GNU Emacs.

basic.cpp  (TeXmacs-1.99.4-src):basic.cpp  (TeXmacs-1.99.5-src)
skipping to change at line 68 skipping to change at line 68
else if (s == "std") debug_set (DEBUG_FLAG_STD, on); else if (s == "std") debug_set (DEBUG_FLAG_STD, on);
else if (s == "io") debug_set (DEBUG_FLAG_IO, on); else if (s == "io") debug_set (DEBUG_FLAG_IO, on);
else if (s == "bench") debug_set (DEBUG_FLAG_BENCH, on); else if (s == "bench") debug_set (DEBUG_FLAG_BENCH, on);
else if (s == "history") debug_set (DEBUG_FLAG_HISTORY, on); else if (s == "history") debug_set (DEBUG_FLAG_HISTORY, on);
else if (s == "qt") debug_set (DEBUG_FLAG_QT, on); else if (s == "qt") debug_set (DEBUG_FLAG_QT, on);
else if (s == "qt-widgets") debug_set (DEBUG_FLAG_QT_WIDGETS, on); else if (s == "qt-widgets") debug_set (DEBUG_FLAG_QT_WIDGETS, on);
else if (s == "keyboard") debug_set (DEBUG_FLAG_KEYBOARD, on); else if (s == "keyboard") debug_set (DEBUG_FLAG_KEYBOARD, on);
else if (s == "packrat") debug_set (DEBUG_FLAG_PACKRAT, on); else if (s == "packrat") debug_set (DEBUG_FLAG_PACKRAT, on);
else if (s == "flatten") debug_set (DEBUG_FLAG_FLATTEN, on); else if (s == "flatten") debug_set (DEBUG_FLAG_FLATTEN, on);
else if (s == "correct") debug_set (DEBUG_FLAG_CORRECT, on); else if (s == "correct") debug_set (DEBUG_FLAG_CORRECT, on);
else if (s == "convert") debug_set (DEBUG_FLAG_CONVERT, on);
} }
static bool static bool
debug_get (int which) { debug_get (int which) {
return (debug_status & (1 << which)) != 0; return (debug_status & (1 << which)) != 0;
} }
bool bool
debug_get (string s) { debug_get (string s) {
if (s == "auto") return debug_get (DEBUG_FLAG_AUTO); if (s == "auto") return debug_get (DEBUG_FLAG_AUTO);
skipping to change at line 90 skipping to change at line 91
else if (s == "std") return debug_get (DEBUG_FLAG_STD); else if (s == "std") return debug_get (DEBUG_FLAG_STD);
else if (s == "io") return debug_get (DEBUG_FLAG_IO); else if (s == "io") return debug_get (DEBUG_FLAG_IO);
else if (s == "bench") return debug_get (DEBUG_FLAG_BENCH); else if (s == "bench") return debug_get (DEBUG_FLAG_BENCH);
else if (s == "history") return debug_get (DEBUG_FLAG_HISTORY); else if (s == "history") return debug_get (DEBUG_FLAG_HISTORY);
else if (s == "qt") return debug_get (DEBUG_FLAG_QT); else if (s == "qt") return debug_get (DEBUG_FLAG_QT);
else if (s == "qt-widgets") return debug_get (DEBUG_FLAG_QT_WIDGETS); else if (s == "qt-widgets") return debug_get (DEBUG_FLAG_QT_WIDGETS);
else if (s == "keyboard") return debug_get (DEBUG_FLAG_KEYBOARD); else if (s == "keyboard") return debug_get (DEBUG_FLAG_KEYBOARD);
else if (s == "packrat") return debug_get (DEBUG_FLAG_PACKRAT); else if (s == "packrat") return debug_get (DEBUG_FLAG_PACKRAT);
else if (s == "flatten") return debug_get (DEBUG_FLAG_FLATTEN); else if (s == "flatten") return debug_get (DEBUG_FLAG_FLATTEN);
else if (s == "correct") return debug_get (DEBUG_FLAG_CORRECT); else if (s == "correct") return debug_get (DEBUG_FLAG_CORRECT);
else if (s == "convert") return debug_get (DEBUG_FLAG_CONVERT);
else return false; else return false;
} }
/****************************************************************************** /******************************************************************************
* debugging messages * debugging messages
******************************************************************************/ ******************************************************************************/
tree debug_messages (TUPLE); tree debug_messages (TUPLE);
bool debug_lf_flag= false; bool debug_lf_flag= false;
extern bool texmacs_started; extern bool texmacs_started;
 End of changes. 2 change blocks. 
0 lines changed or deleted 2 lines changed or added

Home  |  About  |  All  |  Newest  |  Fossies Dox  |  Screenshots  |  Comments  |  Imprint  |  Privacy  |  HTTPS