(** A widget to render sequents **)
+val use_stylesheets: bool ref;; (* false performs the transformations in OCaml*)
+
class sequent_viewer :
Gtk_mathview.math_view Gtk.obj ->
object
end
val sequent_viewer :
- ?adjustmenth:GData.adjustment ->
- ?adjustmentv:GData.adjustment ->
+ ?hadjustment:GData.adjustment ->
+ ?vadjustment:GData.adjustment ->
?font_size:int ->
- ?font_manager:[ `font_manager_gtk | `font_manager_t1] ->
+ ?log_verbosity:int ->
?border_width:int ->
?width:int ->
?height:int ->
end
val proof_viewer :
- ?adjustmenth:GData.adjustment ->
- ?adjustmentv:GData.adjustment ->
+ ?hadjustment:GData.adjustment ->
+ ?vadjustment:GData.adjustment ->
?font_size:int ->
- ?font_manager:[ `font_manager_gtk | `font_manager_t1] ->
+ ?log_verbosity:int ->
?border_width:int ->
?width:int ->
?height:int ->