บางครั้งคำร้องขอเนื้อที่เพิ่มขึ้นระหว่างหมายเลขบรรทัดและเนื้อหาได้ถูกเปล่งออกมาในรายการส่งเมลก่อนหน้านี้และนี่คือบทสรุปของการตรวจสอบสถานการณ์ปัจจุบันของฉัน
เราสามารถค้นหาgedit
การตั้งค่าเพิ่มเติมใด ๆโดยการป้อนใน terminal
gsettings list-recursively | grep -i gedit
และจากนั้นเราสามารถ จำกัด ให้แคบลงอีกเล็กน้อยโดยป้อน
gsettings list-recursively | grep -i gedit | grep -i margin
ซึ่งส่งคืนรายการมาร์จิ้นและการตั้งค่าปัจจุบันของคุณ:
org.gnome.gedit.preferences.editor display-right-margin true
org.gnome.gedit.preferences.editor right-margin-position uint32 2
แต่สิ่งเหล่านี้เป็นการตั้งค่าระยะขอบขวาและเป็นเหมือนกับเมนูการตั้งค่า gui ดูเหมือนว่ายังไม่มีความเป็นไปได้ที่เหมาะสมในส่วนที่เหลือของการตั้งค่าหรือปลั๊กอินที่จะเป็นประโยชน์สำหรับคุณ
เป็นสิ่งสำคัญที่จะต้องทราบว่าgedit
ใช้gtksourceviewและเมื่อตรวจสอบแล้วคุณสมบัติที่ตั้งค่าจากไลบรารีนั้นจะคุ้นเคยกับgedit
ผู้ใช้ อย่างไรก็ตามไม่มีการกล่าวถึงในข้อกำหนดของระยะขอบซ้ายหรือวิธีการระบุการแยกระหว่างหมายเลขบรรทัดและรายการในgedit
เอกสารของคุณ
แต่ผมคิดว่าคุณสามารถทำในสิ่งที่คุณต้องการโดยการแปะห้องสมุดและปะgtksourceview
gedit
หลังจากดูที่ข้อกำหนดgtksourceviewฉันคิดว่าคุณจะต้องแก้ไขการgtksourcegutter
ตั้งค่า ในเอกสารนั้นมีข้อสังเกตว่า
วัตถุ GtkSourceGutter แสดงถึงร่องซ้ายและขวาของมุมมองข้อความ มีการใช้งานโดย GtkSourceView เพื่อวาดหมายเลขบรรทัดและเครื่องหมายหมวดหมู่ที่อาจปรากฏบนบรรทัด โดยการบรรจุวัตถุ GtkSourceGutterRenderer เพิ่มเติมในรางน้ำคุณสามารถขยายรางน้ำด้วยภาพวาดที่คุณกำหนดเองได้
มีการอภิปรายเกี่ยวกับรางน้ำในรายการส่งเมล์ถึงแม้ว่าจะไม่ได้มีการอ้างอิงเฉพาะคำถามของคุณ แต่เกี่ยวกับการปรับแต่งที่เป็นไปได้
คุณอาจคิดว่าคุณได้เปิดใช้งานช่องว่างระหว่างหมายเลขบรรทัดและรายการในเอกสารของคุณโดยดำเนินการตามกระบวนการที่แสดงในภาพหน้าจอด้านล่าง
คุณสร้างไฟล์ใหม่ด้วยgedit
ไปที่แก้ไข> การตั้งค่า> มุมมองและเปิดใช้งานระยะขอบด้านขวาและตั้งค่าเป็น 2 เช่น จากนั้นคุณวางเคอร์เซอร์บนระยะขอบพิมพ์บางอย่างกด Return แล้วบันทึกไฟล์ จากนั้นเมื่อไฟล์ถูกโหลดใหม่ช่องว่างระหว่างตัวเลขและเนื้อหายังคงอยู่จนกว่าคุณจะเกินขอบ
สิ่งนี้เกิดขึ้นกับฉันสองสามครั้งและสับสน แต่ไม่ใช่วิธีที่เชื่อถือได้ในการทำสิ่งที่คุณต้องการ ขณะที่ไม่มีการตั้งค่าอย่างเป็นทางการที่มีอยู่วิธีเดียวที่จะทำในสิ่งที่คุณต้องการที่จะแก้ไขและgtksourceview
gedit