Does not compile with the current Vala master branch
Here are error messages:
VALAC /home/lantw44/gnome/source/gnome-latex/src/gnome_latex_vala.stamp
main_window_structure.vala:67.44-67.58: warning: Gtk.ActionGroup has been deprecated since 3.10
main_window_documents.vala:63.36-63.50: warning: Gtk.ActionGroup has been deprecated since 3.10
main_window_documents.vala:68.34-68.48: warning: Gtk.ActionGroup has been deprecated since 3.10
main_window_documents.vala:143.38-143.48: warning: Gtk.RadioAction has been deprecated since 3.10
main_window_documents.vala:156.43-156.59: warning: Gtk.UIManagerItemType has been deprecated since 3.10
main_window_build_tools.vala:75.36-75.50: warning: Gtk.ActionGroup has been deprecated since 3.10
main_window_build_tools.vala:90.37-90.51: warning: Gtk.ActionGroup has been deprecated since 3.10
main_window_build_tools.vala:321.33-321.42: warning: Gtk.Action has been deprecated since 3.10. Use GLib.Action
main_window_build_tools.vala:337.39-337.55: warning: Gtk.UIManagerItemType has been deprecated since 3.10
main_window_build_tools.vala:341.39-341.55: warning: Gtk.UIManagerItemType has been deprecated since 3.10
main_window_build_tools.vala:308.42-308.58: warning: Gtk.UIManagerItemType has been deprecated since 3.10
main_window_build_tools.vala:312.42-312.58: warning: Gtk.UIManagerItemType has been deprecated since 3.10
main_window_edit.vala:85.29-85.43: warning: Gtk.ActionGroup has been deprecated since 3.10
main_window_tools.vala:50.29-50.43: warning: Gtk.ActionGroup has been deprecated since 3.10
document_view.vala:109.9-109.21: warning: Gtk.Widget.override_font has been deprecated since 3.16
document_view.vala:116.9-116.21: warning: Gtk.Widget.override_font has been deprecated since 3.16
document_view.vala:123.9-123.21: warning: Gtk.Widget.override_font has been deprecated since 3.16
search.vala:135.18-135.59: warning: Gtk.Arrow.new has been deprecated since 3.14
main_window_file.vala:64.29-64.43: warning: Gtk.ActionGroup has been deprecated since 3.10
main_window_file.vala:69.36-70.46: warning: Gtk.RecentAction.new has been deprecated since 3.10
main_window.vala:323.29-323.43: warning: Gtk.ActionGroup has been deprecated since 3.10
main_window.vala:330.27-330.35: warning: Gtk.UIManager has been deprecated since 3.10
main_window.vala:189.9-189.42: warning: Gtk.Widget.override_background_color has been deprecated since 3.16
file_browser.vala:640.24-640.28: warning: Gtk.Stock has been deprecated since 3.10
file_browser.vala:640.24-640.33: warning: Gtk.Stock.EDIT has been deprecated since 3.10
main_window.vala:455.51-455.55: warning: Gtk.Stock has been deprecated since 3.10
main_window.vala:455.51-455.61: warning: Gtk.Stock.INDEX has been deprecated since 3.10
build_tool_dialog.vala:162.19-162.23: warning: Gtk.Stock has been deprecated since 3.10
build_tool_dialog.vala:162.19-162.31: warning: Gtk.Stock.CONVERT has been deprecated since 3.10
stock_icons.vala:117.42-117.55: warning: Gtk.IconSource has been deprecated since 3.10. Use IconTheme
stock_icons.vala:120.36-120.46: warning: Gtk.IconSet has been deprecated since 3.10. Use IconTheme
stock_icons.vala:123.44-123.58: warning: Gtk.IconFactory has been deprecated since 3.10. Use IconTheme
latex_menu.vala:503.40-503.84: error: type `Activatable' does not support floating references
Activatable menu_tool_button = (Activatable) new MenuToolButton (null, null);
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Compilation failed: 1 error(s), 32 warning(s)