package quickterface

  1. Overview
  2. Docs
package quickterface
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Quickterface_terminal_app.ThemeSource

type attr := Notty.A.t
Sourceval title_background : attr
Sourceval title_text : attr
Sourceval log_item_border : attr
Sourceval text_output_from_options : Quickterface.Output_text_options.t -> attr
Sourceval math_output_from_options : Quickterface.Output_text_options.t -> attr
Sourceval text_input_editable : attr
Sourceval text_input_frozen : attr
Sourceval integer_input_editable : attr
Sourceval single_selection_input_option_not_selected : attr
Sourceval single_selection_input_option_selected : attr
Sourceval multi_selection_input_option_not_hovered : attr
Sourceval multi_selection_input_option_hovered : attr
Sourceval loading_bar_title : attr
Sourceval loading_bar_text : attr
Sourceval loading_bar_bar_cells : attr
Sourceval loading_bar_bar_edges : attr