This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
package core; | |
public class Base58 { | |
private static final char[] ALPHABET = "123456789ABCDEFGHJKLMNPQRSTUVWXYZabcdefghijkmnopqrstuvwxyz" | |
.toCharArray(); | |
private static final int BASE_58 = ALPHABET.length; | |
private static final int BASE_256 = 256; | |
private static final int[] INDEXES = new int[128]; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
diff --git a/src/gText.mli b/src/gText.mli | |
index 455b90b3..a29f8d07 100644 | |
--- a/src/gText.mli | |
+++ b/src/gText.mli | |
@@ -491,14 +491,12 @@ object ('a) | |
method populate_popup : | |
callback:(menu obj -> unit) -> GtkSignal.id | |
method set_anchor : callback:(unit -> unit) -> GtkSignal.id | |
- method set_scroll_adjustments : | |
- callback:(GData.adjustment option -> GData.adjustment option -> unit) |
OlderNewer