diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2022-11-08 01:19:42 +1300 |
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2022-11-08 01:19:42 +1300 |
| commit | 4ea2c7a094e4c61caeeff4b9c16cf10b8d4b14de (patch) | |
| tree | 36eaf10870828e011e56123d0002aff9ae3f99dd /src/dialog.mli | |
| parent | 525863904e8cb1ce62bbbf407262e5305d6bbc6f (diff) | |
Tidying up a bit of code formatting
Diffstat (limited to 'src/dialog.mli')
| -rw-r--r-- | src/dialog.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/dialog.mli b/src/dialog.mli index 29bcf12..71dbb44 100644 --- a/src/dialog.mli +++ b/src/dialog.mli @@ -16,6 +16,7 @@ val save_file : ?folder:string -> ?name:string -> unit -> string option val export_file : ?folder:string -> ?name:string -> unit -> string option +(* I hate GTK colors *) val colors : fore:(int * int * int) -> back:(int * int * int) -> ((int * int * int) * (int * int * int)) option |