|
@@ -50,7 +50,19 @@ extension KMMainViewController {
|
|
|
}
|
|
|
|
|
|
func updatePageIndicatoreType () {
|
|
|
- if KMPreferenceManager.shared.pageIndicatorType == 0 {
|
|
|
+ DispatchQueue.main.async {
|
|
|
+ if (KMPreferenceManager.shared.pageIndicatorIsShow) {
|
|
|
+ self.tipCurrentPageBox.isHidden = false
|
|
|
+ self.currentPageLabel.isHidden = false
|
|
|
+ self.pageCountLabel.isHidden = false
|
|
|
+ } else {
|
|
|
+ self.tipCurrentPageBox.isHidden = true
|
|
|
+ self.currentPageLabel.isHidden = true
|
|
|
+ self.pageCountLabel.isHidden = true
|
|
|
+ }
|
|
|
+ }
|
|
|
+
|
|
|
+ if (KMPreferenceManager.shared.pageIndicatorType == .automatic) {
|
|
|
self.tipCurrentPageBox.moveCallback = {(mouseEntered: Bool, mouseBox: KMBox) -> Void in
|
|
|
if mouseEntered == false && self.isEditPage == false {
|
|
|
self.tipCurrentPageBox.fillColor = NSColor(calibratedRed: 0, green: 0, blue: 0, alpha: 0.5)
|
|
@@ -67,17 +79,20 @@ extension KMMainViewController {
|
|
|
DispatchQueue.main.async {
|
|
|
self.perform(#selector(self.delayExecution), with: nil, afterDelay: 3)
|
|
|
}
|
|
|
- } else if KMPreferenceManager.shared.pageIndicatorType == 1 {
|
|
|
+ } else if (KMPreferenceManager.shared.pageIndicatorType == .always) {
|
|
|
self.tipCurrentPageBox.fillColor = NSColor(calibratedRed: 0, green: 0, blue: 0, alpha: 0.5)
|
|
|
self.currentPageLabel.textColor = NSColor.white
|
|
|
self.pageCountLabel.textColor = NSColor.white
|
|
|
self.currentPageWidthConstraint.constant = NSString(string: self.currentPageLabel.stringValue).boundingRect(with: NSSize(width: 1000, height: 1000)).size.width + 8
|
|
|
- } else {
|
|
|
+ } else if (KMPreferenceManager.shared.pageIndicatorType == .never) {
|
|
|
self.delayExecution()
|
|
|
}
|
|
|
}
|
|
|
|
|
|
@objc func delayExecution() {
|
|
|
+ if (KMPreferenceManager.shared.pageIndicatorType == .always) {
|
|
|
+ return
|
|
|
+ }
|
|
|
self.tipCurrentPageBox.fillColor = NSColor.clear
|
|
|
self.currentPageLabel.textColor = NSColor.clear
|
|
|
self.pageCountLabel.textColor = NSColor.clear
|